ABSTRACT
In this paper a rough guideline is given how to create a semi-formal model consisting of different diagrams in the safety critical systems domain. In general, model based development is increasingly gaining popularity (Colombo et al. 2007). In a similar way, safety is becoming a more important aspect that is considered in the development of systems due to legal requirements, novel standards and public expectations.
