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

Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen. - Sebastian Grobosch (Shaker, 2019)