ПрограммированиеVerification of Communication Protocols in Web Services. Model-Checking Service CompositionsKazi Sakib, Zahir Tari, Peter Bertok