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