Handling industrial hazards by pre-emptive model checking [Electronic resource]Kuusik, Alar; Otto, Tauno; Vain, Jüri4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings2003 / [4] p. : ill. [CD-ROM] https://www.academia.edu/17640340/Handling_Industrial_Hazards_by_Pre_emptive_Model_Checking