John C. Knight;Nancy G. Leveson
University of Virginia;MIT
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
FM for FMS: lessons learned while applying formal methods to the study of flexible manufacturing systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing