Susan L. Gerhart Dan Craigen Ted Ralston Observations on Industrial Practice Using Formal Methods. 24-33 1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257578 db/conf/icse/icse93.html#GerhartCR93