selected publications conference paper Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. . 2009