Compositional Hazard Analysis of UML Component and Deployment Models. - Giese, Holger; Tichy, Matthias; Schilling, Daniela (2004)