Model Checking and Modular Verification (1991)

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