@Article {AJP.Computing2013,
author = {C. A. Ardagna and R. Jhawar and V. Piuri},
title = {Dependability Certification of Services: A Model-Based Approach},
publisher = {Springer},
journal = {Computing},
month = {October},
year = {2013}
}