Massimiliano Di Penta Antonella Santone Maria Luisa Villani Discovery of SOA patterns via model checking. 8-14 2007 IW-SOSWE http://doi.acm.org/10.1145/1294928.1294931 conf/sigsoft/2007soswe db/conf/sigsoft/soswe2007.html#PentaSV07