A Formal Execution Semantics for Sophisticated Dynamic Jumps Within Business Processes Topics: Business Modeling and Business Process Management In Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS, 634-642, 2024 , Angers, France