Bernhard Kaiser, Vanessa Klaas, Stefan Schulz, Christian Herbst, Peter Lascych. Integrating System Modelling with Safety Activities. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 452-465, Springer, 2010. [doi]
Abstract is missing.