Model checking and modular verification. (1994)

by Orna Grumberg, David E Long
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS),