Text this: Modeling and control of discrete-event dynamical systems :