Verification Of Communication Protocols In Web Services Modelchecking Service Compositions | lit.salon