Jang, Sooyoung, and Changbeom Choi. 2023. “VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM”. International Journal of Industrial Engineering: Theory, Applications and Practice 30 (5). https://doi.org/10.23055/ijietap.2023.30.5.8373.