[1]
F. A. Kraemer and P. Herrmann, “Transforming Collaborative Service Specifications into Efficiently Executable State Machines”,
ECEASST
, vol. 6, Jun. 2007.