Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B | IEEE Conference Publication | IEEE Xplore