Discrete event dynamic systems (Springer New York, 1991)