J. Barnes, “Experiences in the Industrial use of Formal Methods”, ECEASST, vol. 46, Dec. 2011.