Timed automata based scheduling for a miniature pipeless plant with mobile robots. - Christian Schoppmeyer; Martin Hufner; Subanatarajan Subbiah; Sebastian Engell (CCA, 2012)

A customized design framework for the model-based development of engine control systems. - Martin Hufner; Christian Sonntag; Sebastian Engell; Sebastian Grobosch (IECON, 2013)