Email Record: Formal Methods and Models for System Design :