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