selected publications conference paper Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. . 2009 Systematic Design and Implementation of Distributed Controllers in Industrial Automation. . 2006