Closed-loop matrix based model of discrete event systems for machine logic control design. - Ales Polic; Karel Jezernik (IEEE Trans. Ind. Informatics, 2005)