On analysing the semantics of IEC61131-3 ST and IL applications - Mário de Sousa (2013)