@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}
}