Model Checking, Abstraction and Compositional Verification (1993)

by D E Long