Piergiorgio Bertoli Laura Ferrari Raman Kazhamiakin Corrado Moiso Marco Pistore Ermes Thuegaz Design and Verification ofWeb Services Compositions in the Telecommunication Domain. 1214-1215 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.75 db/conf/icws/icws2007.html#BertoliFKMPT07