"Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML."

Ali Ebnenasir, Betty H. C. Cheng (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics