Text this: Discrete event systems :