Daniel Große Ulrich Kühne Rolf Drechsler HW/SW co-verification of embedded systems using bounded model checking. 43-48 2006 conf/glvlsi/2006 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1127908.1127920 db/conf/glvlsi/glvlsi2006.html#GrosseKD06