Ingo M. Weber Semantic Methods for Execution-level Business Process Modeling - Modeling Support Through Process Verification and Service Composition 40 2009 3-231 Springer Lecture Notes in Business Information Processing http://dx.doi.org/10.1007/978-3-642-05085-5 978-3-642-05084-8 db/series/lnbip/index.html#Weber09