Generating Interface Grammars from WSDL for Automated Verification of Web Services