Introduction to discrete event systems - Cassandras, Christos G.; Lafortune, Stéphane (Kluwer Academic Publishers ; Springer Verlag, 1999)