Email Record: Discrete event systems: models and applications :