Discrete event systems modeling and performance analysis - Cassandras, Christos G. (Irwin, 1993)