An efficient heuristic procedure for solving the state assignment problem for event-based specifications | IEEE Journals & Magazine | IEEE Xplore