Abstract interpretation of reactive systems (1997)

by D Dams, O Grumberg, R Gerth
Venue:ACM Transactions on Programming Languages and Systems