Verification of process operations using model checking - Voronov, A.; Akesson, K. (2009 IEEE International Conference on Automation Science and Engineering, 2009)
Keywords: Automata; Automatic control; Automation; Electronic mail; Formal verification; industrial automation; Logic testing; Manufacturing; model checking; Supervisory control; System recovery; Time to market