Dan Craigen Susan L. Gerhart Ted Ralston Formal Methods Reality Check: Industrial Usage. 90-98 http://www.computer.org/tse/ts1995/e0090abs.htm 1995 21 IEEE Trans. Software Eng. 2 db/journals/tse/tse21.html#CraigenGR95