Introduction to discrete event systems - Cassandras, Christos G.; Lafortune, Stéphane (Springer, 2010)