Max-algebraic system theory for discrete event systems by B. De Schutter