Nakajima, 2005. Lightweight formal analysis of Web service flows.. https://doi.org/10.2201/niipi.2005.2.5