A Model-based Methodology for Tool Supported Design of Automated Systems - Hüfner, Martin (Shaker, 2015)