Verifying Composite Service Transactional Behavior with EVENT-B | IEEE Conference Publication | IEEE Xplore