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