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