Email Record: Formal methods in software and systems modeling :