Abstract interpretation of reactive systems (1997)

by D Dams, R Gerth, O Grumberg
Venue:ACM TOPLAS