Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Eyal Bin, Avi Ziv, Shmuel Ur ((Lecture Notes in Computer Science))