F. A. Kraemer and P. Herrmann, “Transforming Collaborative Service Specifications into Efficiently Executable State Machines”, eceasst, vol. 6, Jun. 2007.