Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers - Bin, Eyal; Ziv, Avi; Ur, Shmuel (Springer Berlin Heidelberg, 2007)