Model-based Development of Automation Systems - Niggemann, Oliver; Maier, Alexander; Jasperneite, Jürgen