Iman Saleh 0002 Gregory Kulczycki M. Brian Blake Formal Specification and Verification of Transactional Service Composition. 474-481 2011 SERVICES https://doi.org/10.1109/SERVICES.2011.36 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2011.36 conf/services/2011 db/conf/services/services2011.html#SalehKB11