Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method | IEEE Journals & Magazine | IEEE Xplore