Email Record: Model-driven engineering for distributed real-time systems :