High-Integrity System Specification and Design
Jonathan P. Bowen
"J.P. Bowen & M.G. Hinchey (1995) Ten Commandments of Formal Methods.
IEEE Computer, 28(4):56–63, April 1995. (See page 217 in this collection.) "J.P.
Bowen & M.G. Hinchey (1995) Seven More Myths of Formal Methods. IEEE
Software ...