Christos G. Cassandras Discrete-Event Systems. 71-90 2005 books/sp/NECS05 Handbook of Networked and Embedded Control Systems db/books/collections/necs2005.html#Cassandras05