A Protocol Engineering Workstation. - Pieter S. Kritzinger; Graham Wheeler (FORTE, 1989)

Semi-Markovian Analysis of Protocol Performance. - Pieter S. Kritzinger; Graham Wheeler (PSTV, 1993)

Protocol engineering from Estelle specifications - Graham Wheeler (1993)

A Sliding Mode Controller with Improved Adaptation Laws for the Upper Bounds on the Norm of Uncertainties. - Graham Wheeler; Chun-Yi Su; Yury Stepanenko (Autom., 1998)