Alberto Portilla Genoveva Vargas-Solar Luciano García-Bañuelos Christine Collet José-Luis Zechinelli-Martini Verifying Atomicity Requirements of Services Coordination Using B. 238-248 2008 ENC http://dx.doi.org/10.1109/ENC.2008.11 conf/enc/2008 db/conf/enc/enc2008.html#PortillaVGCZ08