selected publications

• conference paper

  • Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.  . 2009