E.M. Clarke, O. Grumber, and D. Peled. Model checking. MIT press, Cambridge, Massachusetts, US, 2nd edition, 2001.
