Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Kedar Namjoshi, Andreas Zeller, Avi Ziv ((Lecture Notes in Computer Science))