Model Checking, Abstraction, and Compositional Verification (1993)

by D E Long