Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. - Hyeongseok Eun; Eunkyoung Jee; Doo-Hwan Bae; Younggeul Kim; Yoonhee Lee (APSEC, 2023)