Designing and Implementing Correct Real-Time Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FTRTFT, 1994)

Application-oriented real time algebra. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Softw. Eng. J., 1994)

A formally based hard real-time kernel. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Microprocess. Microsystems, 1994)

Validation, verification and implementation of timed protocols using AORTA. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (PSTV, 1995)

On Behavior, Inheritance, and Evolution. - Bill Murray; Adrian Robson (J. Object Oriented Program., 1995)

A Formal Design and Implementation Method for Real-Time Embedded Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson; Stephen Hawkes (EUROMICRO, 1996)

Integrating AORTA with Model-Based Data Specification Languages. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FASE, 1998)

bCANDLE: Formal Modelling and Analysis of CAN Control Systems. - David Kendall; Steven Bradley; William Henderson; Adrian Robson (IEEE Real Time Technology and Applications Symposium, 1998)

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. - William Henderson; David Kendall; Adrian Robson (Real Time Syst., 2001)

A formal design language for real-time systems with data. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Sci. Comput. Program., 2001)