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