Text this: Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite.