Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Bertacco, Valeria; Legay, Axel (Springer International Publishing : Imprint: Springer, 2013)