Design of industrial automation systems - Formal requirements in the engineering process. - Björn Böttcher; Johann Badinger; Natalia Moriz; Oliver Niggemann (ETFA, 2013)

Evaluation of Model-Based Condition Monitoring Systems in Industrial Application Cases. - Stefan Windmann; Jens Eickmeyer; Florian Jungbluth; Johann Badinger; Oliver Niggemann (ML4CPS, 2015)