Function Block Finite-State Model Identification Using SAT and CSP Solvers | IEEE Journals & Magazine | IEEE Xplore