G. H. Broadfoot, “The highs and lows of deploying Formal Methods in Industry”, eceasst, vol. 70, Nov. 2014.