Maurice H. ter Beek Stefania Gnesi Franco Mazzanti Corrado Moiso Formal Modelling and Verification of an Asynchronous Extension of SOAP. 287-296 2006 conf/ecows/2006 ECOWS http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.22 db/conf/ecows/ecows2006.html#BeekGMM06