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