Introduction to discrete event systems - Cassandras, Christos G., 1955- (Springer Science+Business Media, LLC, 2008)