Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerth
Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL*