Stav dette: Discrete-event system theory : an introduction / Antonio Tornambè.