Tool Support for Production Use of Formal Techniques. - John C. Knight; Kimberly S. Hanks; Sean R. Travis (ISSRE, 2001)

Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. - Kimberly S. Wasson; John C. Knight; Elisabeth A. Strunk; Sean R. Travis (SAFECOMP, 2003)