Fei Xie Guowu Yang Xiaoyu Song Component-based hardware/software co-verification for building trustworthy embedded systems. 643-654 2007 80 Journal of Systems and Software 5 http://dx.doi.org/10.1016/j.jss.2006.08.015 db/journals/jss/jss80.html#XieYS07