Frank Alexander Kraemer Peter Herrmann Transforming Collaborative Service Specifications into Efficiently Executable State Machines. 2007 6 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/53 db/journals/eceasst/eceasst6.html#KraemerH07