Semantic Methods for Execution-level Business Process Modeling (Springer Berlin Heidelberg, 2020)