Dependability Certification of Services: A Model-Based Approach

Ardagna, C. A. and Jhawar, R. and Piuri, V.