Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings - Chockler, Hana; Hu, Alan J. (Springer Berlin Heidelberg : Imprint: Springer, 2009)