Text this: Introduction to Discrete Event Systems