selected publications
-
academic article
- Incorporating Fault Tolerance into Component-based Architectures for Embedded Systems. Journal of Automation, Mobile Robotics and Intelligent Systems. 46-51. 2009
- An architecture supporting hard real-time computing. Control Engineering Practice. 1995
- Satellite Control System Architectures. IFAC Proceedings Volumes. 28:305-310. 1995
- Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. The Computer Journal. 38:301-309. 1995
- Architectural support for predictability in hard real time systems. Control Engineering Practice. 1:51-57. 1993
-
chapter
- A Cephalomorph Real-Time Computer. Lecture Notes in Computer Science. 2016
- ARTIE: A Proven Correct Architecture for Safety-Critical Applications. Springer eBooks. 452-460. 1997
- Designing an embedded hard real-time system: A case study. Lecture Notes in Computer Science. 1997
- PLC-Implementation of Emergency Shut-Down Systems. Springer eBooks. 53-62. 1993
-
conference paper