Modelling and verification of web services protocols. - Pemadeep Kumar Ramsokul (2008)