Discrete event control theory applied to PLC programming - Mušič, Gašper (Array, 2003)