Model Checking by Doron Peled, E.M. Clarke & Orna Grumberg