Computer Aided Verification by N. Halbwachs, D. Peled & A.E. Emerson