Dependability Certification of Services: A Model-Based Approach
Ardagna, C. A. and Jhawar, R. and Piuri, V.