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