Introduction to Discrete Event Systems - Cassandras, Christos G. (Springer US : Imprint: Springer, 2008)