Introduction to Discrete Event Systems - Cassandras, Christos G. (Springer, 2021)