RASZKA, Jerzy; JAMROŻ, Lech. Analysis and design of control data processing as discrete event systems. 2016.