Introduction to Discrete Event Systems - Christos G. Cassandras, Stéphane Lafortune (Springer, 2021)