Lecture Notes in Computer Science Computer Aided Verification 1633 - Nicolas Halbwachs, Doron Peled - książka wyd. 1999