Introduction to discrete event systems - Cassandras,Christos G (Springer, 2008)