UML based software development under safety constraints. - Christian Diedrich; Jan Krause; Andreas Franke 002 (Sicherheit, 2006)