S. Jang and C. Choi, “VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM”, Int J Ind Eng, vol. 30, no. 5, Oct. 2023.