Cassandras & Lafortune, Introduction to Discrete Event Systems, (2nd), Kluwer, 1999. 9780387333328. (Required).