Introduction to Discrete Event Systems (The International Series on Discrete Event Dynamic Systems) - Christos G.; Lafortune, Stephane Cassandras