Academia and industry meet: Some experiences of formal methods in practice. - Guy H. Broadfoot; Philippa J. Broadfoot (APSEC, 2003)

Combining the Box Structure Development Method and CSP. - Philippa J. Hopcroft; Guy H. Broadfoot (ASE, 2004)

Combining the Box Structure Development Method and CSP for Software Development. - Philippa J. Hopcroft; Guy H. Broadfoot (AVoCS, 2004)

ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. - Guy H. Broadfoot (FM, 2005)

If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. - Guy H. Broadfoot (CPA, 2005)

The highs and lows of deploying Formal Methods in Industry. - Guy H. Broadfoot (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

FDR: From Theory to Industrial Application. - Thomas Gibson-Robinson; Guy H. Broadfoot; Gustavo Carvalho; Philippa J. Hopcroft; Gavin Lowe; Sidney C. Nogueira; Colin O'Halloran; Augusto Sampaio 001 (Concurrency, Security, and Puzzles, 2017)