Introduction to Discrete Event Systems - Cassandras, Christos G.; Lafortune, Stéphane (Cham Springer International Publishing AG, 2021)