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