selected publications

• academic article

  • The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems.  Software - Practice and Experience.  41:1491-1515. 2011
  • Time-Triggered vs. Event-Triggered: A matter of configuration?.  .  1-6. 2006
  • Synthesising Real-Time Systems from Atomic Basic Blocks.  .  2006