Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings - Hutchison, David (Lecture Notes in Computer Science, 2009)