Kazi Sakib Zahir Tari Peter Bertok Verification of Communication Protocols in Web Services Model-Checking Service Compositions pdf {Zzzzz}