Discrete event systems : : modeling and performance analysis - Κασσανδράς, Χρήστος Γ (The Aksen Associates series in electrical and computer engineering, 1993)