A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. - Alarico Campetelli; Maximilian Junker; Birthe Böhm; Maria Davidich; Vasileios Koutsoumpas; Xiuna Zhu; Jan Christoph Wehrstedt (Software Engineering (Workshops), 2015)

Experiences of Application in the Automation Domain. - Ulrich Löwen; Birthe Böhm; Alarico Campetelli; Maria Davidich; Florian Zimmer (Advanced Model-Based Engineering of Embedded Systems, 2016)

Data Driven Monitoring of Rolling Stock Components. - Francesco Ferroni; Martin Klimmek; Helge Aufderheide; Joao Laia; Dennis Klingebiel; Maria Davidich (IntelliSys (1), 2016)