Introduction to Discrete Event Systems door Christos G. Cassandras & Stephane Lafortune