Semantic methods for execution-level business process modeling modeling support through process verification and service composition - Weber, Ingo M. (Springer, 2009)