selected publications

• conference paper

  • Model-Based System Design of Time-Triggered Architectures - Avionics Case Study.  . 2006