White paper NextGenAA final
https://fhsl.eng.buffalo.edu/publications/FormalH.2012.Proceedings.pdf
21 Oct 2012:
Combéfis, Sébastien. Curzon, Paul. d'Ausbourg, Bruno. Feary, Michael. Feigh, Karen. Gellatly, Andrew W. ... Gunter, University of Illinois at Urbana-Champaign,. John Rushby, SRI International. 2- Formal verification and the prevention of user error