Model Checking. (1999)

by E M Clarke, O Grumberg, D A Peled