Introduction to discrete event systems - Cassandras, Christos G.; Lafortune, Stéphane (Springer Science-Business Media, 2008)