Email Record: Temporal logic and state systems /