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

  • An agent-based platform for service integration in e-maintenance.  . 2004
  • Design of embedded hard real-time applications with predictable behaviour.  . 2002
  • Enforcing management policies in distributed systems.  . 2002