Model Checking (2002)

by E M Clarke, O Grumberg, D A Peled