Email Record: Design methods and applications for distributed embedded systems :