1. , , , , and , ‘Distributed fault-tolerant real-time systems: the Mars approach’, IEEE Micro, February 1989, pp. 25–40.
2. Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives
3. ‘A schedulability analyser for real-time Euclid’, Proc. 8th IEEE Real-Time Systems Symposium, December 1987, pp. 218–227.
4. and , ‘ARTS: a distributed real-time kernel’, ACM Operating Systems Review Special Issue, 1989, pp. 29–53.
5. and , ‘A real-time tool set for the ARTS kernel’, Proc. 9th IEEE Real-Time Systems Symposium, December 1988, pp. 289–299.