Cassandras, C. G. Introduction to discrete event systems - Boston Kluwer Academic Publishers 1999 - xxii, 822p. - The Kluwer international series on discrete event dynamic sy . ISBN: 0-7923-8609-4