Uses and abuses of inheritance. - James M. Armstrong; Richard J. Mitchell (Softw. Eng. J., 1994)

ADL: An Activity Description Language for Real-Time Networks. - Stephen Paynter; James M. Armstrong; Jan Haveman (Formal Aspects Comput., 2000)

Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism. - Stephen Paynter; Neil Henderson; James M. Armstrong (Formal Aspects Comput., 2004)

Metastability in Asynchronous Wait-Free Protocols. - Stephen Paynter; Neil Henderson; James M. Armstrong (IEEE Trans. Computers, 2006)

The deconstruction of safety arguments through adversarial counter-argument. - James M. Armstrong; Stephen Paynter (Reliab. Eng. Syst. Saf., 2007)