@InProceedings {ADJP.DEST2012,
    author = {{C.A.} Ardagna and E. Damiani and R.
Jhawar and V. Piuri},
    booktitle = {Proc. of the 6th IEEE International Conference on Digital Ecosystem Technologies - Complex Environment Engineering (DEST-CEE 2012)},
    title = {A Model-Based Approach to Reliability Certification of Services},
    address = {Campione d'Italia, Italy},
    month = {June},
    year = {2012}
}