Jang, S.; Choi, C. VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM. Int J Ind Eng 2023, 30.