Stefano Bocconi Claudia Picardi Xavier Pucel Daniele Theseider Dupré Louise Travé-Massuyès Model-Based Diagnosability Analysis for Web Services. 24-35 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_4 db/conf/aiia/aiia2007.html#BocconiPPDT07