Barnes, J. (2011) “Experiences in the Industrial use of Formal Methods”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.680.