Introduction to discrete event systems/2nd ed. - Cassandras, Christos G. (Springer, 2010)