  In order to enable model-based, iterative design of safety-relevant systems,
an efficient incorporation of safety and system engineering is a pressing need.
Our approach interconnects system design and safety analysis models efficiently
using a dedicated reference model. Since all information are available in a
structured way, traceability between the model elements and consistency checks
enable automated synchronization to guarantee that information within both kind
of models are consistent during the development life-cycle.
