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