Introduction to Discrete Event Systems Second Edition - Cassandras, Christos G. (Springer, 2012)