Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John S.  (2009) Formal Methods: Practice and Experience.  ACM Computing Surveys, 41  (4).   pp. 1-36.