Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties - View it on GitHub