Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite | IEEE Conference Publication | IEEE Xplore