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