Barnes, J. Experiences in the Industrial Use of Formal Methods. ECEASST 2011, 46.