A DSDEVS-based model for verifying structural constraints in dynamic business processes - Boukelkoul, Sofiane (Array, 2020)