Hongbing Wang Qianzhao Zhou Yanqi Shi Describing and Verifying Web Service Composition Using TLA Reasoning. 234-241 2010 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2010.28 conf/IEEEscc/2010 db/conf/IEEEscc/scc2010.html#WangZS10