Text this: Introduction to discrete event systems