Introduction to discrete event systems - Κασσανδράς, Χρήστος Γ (The Kluwer international series on discrete event dynamic systems, 1999)