"Model-Based Evaluation: From Dependability to Security."

David M. Nicol, William H. Sanders, Kishor S. Trivedi (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics