Email Record: Design methods for reactive systems :