Study on the Barriers to the Industrial Adoption of Formal Methods. - Jennifer A. Davis; Matthew A. Clark 001; Darren D. Cofer; Aaron Fifarek; Jacob Hinchman; Jonathan A. Hoffman; Brian W. Hulbert; Steven P. Miller; Lucas G. Wagner (FMICS, 2013)