Walid Gaaloul Mohsen Rouached Claude Godart Manfred Hauswirth Verifying Composite Service Transactional Behavior Using Event Calculus. 353-370 2007 conf/otm/2007-1 OTM Conferences (1) http://dx.doi.org/10.1007/978-3-540-76848-7_23 db/conf/otm/otm2007-1.html#GaaloulRGH07