Structuring the semantic definitions of graphical design notations. - Stephen Paynter (Softw. Eng. J., 1995)

Real-Time Mode-Machines. - Stephen Paynter (FTRTFT, 1996)

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

Real-Time Logic Revisited. - Stephen Paynter (FME, 2001)

The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. - Neil Henderson; Stephen Paynter (FME, 2002)

Analysing the Safety of a Software Development Process. - Stephen Paynter; Bob W. Born (SAFECOMP, 2002)

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)