Integrating System Modelling with Safety Activities. - Bernhard Kaiser; Vanessa C. Klaas; Stefan Schulz; Christian Herbst; Peter Lascych (SAFECOMP, 2010)