Nancy Leveson, Cody Harrison Fleming, John Thomas. Safety of embedded software. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 7-8, ACM, 2012. [doi]
Abstract is missing.