Antonia Bertolino Paola Inverardi Patrizio Pelliccione Massimo Tivoli Automatic synthesis of behavior protocols for composable web-services. 141-150 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595719 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#BertolinoIPT09