Wassyng, Alan, and Mark Lawford. Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project In  FME 2003: International Symposium of Formal Methods Europe Proceedings. Pisa, Italy, 2003.