CSP-based inference of function block finite-state models from execution traces | IEEE Conference Publication | IEEE Xplore