Kraemer, F. A.; Herrmann, P. Transforming Collaborative Service Specifications into Efficiently Executable State Machines. eceasst 2007, 6.