Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. - Henkler, Stefan; Greenyer, Joel; Hirsch, Martin; Schäfer, Wilhelm; Alhawash, Kahtan; Eckardt, Tobias; Heinzemann, Christian; Löffler, Renate; Seibel, Andreas; Giese, Holger (ICSE: International Conference on Software Engineering, 2009)