Managerial Issues for the Consideration and Use of Formal Methods. - Donna C. Stidolph; E. James Whitehead Jr. (FME, 2003)