Compositional Model Checking (1999)

by E. M. Clarke, D. E. Long, K. L. Mcmillan