Email Record: Formal methods for eternal networked software systems :