Hardware Verification and Beyond: Using B at AWE. - Neil Evans; Wilson Ifill (B, 2007)

Augmenting B with Control Annotations. - Wilson Ifill; Steve A. Schneider; Helen Treharne (B, 2007)

Towards a demonstrably-correct ada compiler. - Chris Nettleton; Wilson Ifill; Colin Marsh (SIGAda, 2007)

Experiments in Translating CSP || B to Handel-C. - Steve A. Schneider; Helen Treharne; Alistair A. McEwan; Wilson Ifill (CPA, 2008)

B Annotations in CriticalControl SystemsDevelopment. - Wilson Ifill (2008)

A Step towards Merging xUML and CSP || { | }B. - Helen Treharne; Steve A. Schneider; Neil Grant; Neil Evans; Wilson Ifill (Rigorous Methods for Software Construction and Analysis, 2009)

A step towards refining and translating B control annotations to Handel-C. - Wilson Ifill; Steve A. Schneider (Concurr. Comput. Pract. Exp., 2010)

Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab. - Dan Slipper; Wilson Ifill; Gordon Hunter; Roger Green; Richard Johnson; Alistair A. McEwan (BMMDS/EMMSAD, 2012)