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