Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. - Paula Herber; Florian Friedemann; Sabine Glesner (TAP@TOOLS, 2009)