Orna Grumberg, and Doron Peled. Model Checking (1999)

by Clarke