Generalised Substitution Language and Differentials. - James Blow; Andy Galloway (ZB, 2002)

Use of formal methods in the development of safety critical control software. - James Raymond Blow (2002)

Modular Certification of Integrated Modular Systems. - James Blow; Andrew Cox; Paul Liddell (SSS, 2005)