Email Record: Logical analysis of hybrid systems :