https://123dok.net/document/1y9w7gvz-generating-interface-grammars-from-wsdl-for-automated-verification-of-web-services.html