Jaeseo Lee, Kyungmin Bae: Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. SAS 2025: 328-356