selected publications

• conference paper

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