Text this: Discrete event systems: models and applications :