Formal Analysis of a Real-Time Kernel Specification. - Simon Fowler 002; Andy J. Wellings (FTRTFT, 1996)

Formal development of a real-time kernel. - Simon Fowler 002; Andy J. Wellings (RTSS, 1997)

A development method for trusted real-time kernels. - Simon Fowler 002 (1998)