Text this: Discrete Event Systems: Modeling and Control :