Discrete event dynamic systems (Kluwer Academic Publishers, 1991)