Kai Hylla Jan-Hendrik Oetjens Wolfgang Nebel Using SystemC for an Extended MATLAB/Simulink Verification Flow. 221-226 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641449 conf/fdl/2008 db/conf/fdl/fdl2008.html#HyllaON08