Implicit computation of compatible sets for state minimization of ISFSMs | IEEE Journals & Magazine | IEEE Xplore