Jang, S., and C. Choi. “VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM”. International Journal of Industrial Engineering: Theory, Applications and Practice, vol. 30, no. 5, Oct. 2023, doi:10.23055/ijietap.2023.30.5.8373.