"Dependability analysis in the early phases of UML-based system design."

Andrea Bondavalli et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics