Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University. - Tari, Zahir (Wiley series on parallel and distributed computing, 2014)