Introduction to discrete event systems / Christos G. Cassandras, Stéphane Lafortune. - 2nd ed. - New York, cop. 2008. (Dept. of Electrical Engineering and Computer Science, The Univ. of Michigan, Ann Arbor)

LCA online

http://www.eecs.umich.edu/~stephane/