Abstract interpretation reactive systems preservation of CTL - Dams, Dennis; Grumberg, Orna; Gerth, Rob T. (Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series, 1995)