Very interesting insight! Indeed the authors are working (as of 2019) on making the sync points resolve based on constraint solvers: - https://arxiv.org/abs/19

Very interesting insight! Indeed the authors are working (as of 2019) on making the sync points resolve based on constraint solvers: - https://arxiv.org/abs/1909.00408 https://arxiv.org/abs/1909.00408 - https://www.researchgate.net/publication/338358976_Executing_Scenario-Based_Specification_with_Dynamic_Generation_of_Rich_Events https://www.researchgate.net/publication/338358976_Executing... I am currently reading through your research and will sure get back to you about this.