Tool Support for Production Use of Formal Techniques. - John C. Knight; P. Thomas Fletcher; Brian R. Hicks (World Congress on Formal Methods, 1999)