Email Record: Design and analysis of distributed real-time systems /