Email Record: Introduction to Discrete Event Systems