Email Record: Discrete Event Systems: Modeling and Control :