Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers - Kerstin Eder, editor (Springer-Verlag, 2012)