Model checking and modular verification. (1994)

by O Grumberg, D E Long
Venue:In ACM TOPLAS,