Event-Based Design and Runtime Verification of Composite Service Transactional Behavior | IEEE Journals & Magazine | IEEE Xplore