Email Record: Modeling and control of discrete-event dynamical systems :