Guy H. Broadfoot Philippa J. Broadfoot Academia and industry meet: Some experiences of formal methods in practice. 49- 2003 conf/apsec/2003 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2003.1254357 db/conf/apsec/apsec2003.html#BroadfootB03