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