Abstract interpretation of reactive systems: preservation of CTL door D. Dams