Boukelkoul, S., and R. Maamri. “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”. Journal of Information and Organizational Sciences, vol. 44, no. 2, Dec. 2020, doi:10.31341/jios.44.2.4.