Email Record: Formal Techniques for Safety-Critical Systems :