Kraemer, F. A. and Herrmann, P. (2007) “Transforming Collaborative Service Specifications into Efficiently Executable State Machines”, Electronic Communications of the EASST, 6. doi: 10.14279/tuj.eceasst.6.53.