Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. - Hisham Unniyankal; Davide Ancona; Angelo Ferrando 001; Fabio Parodi; Alessandro Alessi; Federico Bottino (DSN-S, 2025)