Walid Gaaloul Sami Bhiri Manfred Hauswirth Mohsen Rouached Claude Godart Formal verification of composite service recovery mechanisms consistency. 278-287 2007 CollaborateCom http://dx.doi.org/10.1109/COLCOM.2007.4553842 conf/colcom/2007 db/conf/colcom/colcom2007.html#GaaloulBHRG07