Symbolic Model Checking (1993)

by K L McMillan