Föcker, Felix; Houdek, Frank; Daun, Marian; Weyer, Thorsten - 2015
Model-based engineering is a well-established approach to cope with the complexity of today's embedded systems. Furthermore, model-based engineering can address industry needs for highly automated development solutions to foster correctness of safety-critical systems. In contrast, there is a...