Email Record: Advances in temporal logic /