Gero Decker Jan Mendling Instantiation Semantics for Process Models. 164-179 2008 BPM http://dx.doi.org/10.1007/978-3-540-85758-7_14 conf/bpm/2008 db/conf/bpm/bpm2008.html#DeckerM08