Semantic Methods for Execution-level Business Process Modeling - Weber, Ingo M.; Mylopoulos, John; Sadeh, Norman M. (Springer Berlin Heidelberg, 2009)