Walter H. Tibboel Víctor Reyes Martin Klompstra Dennis Alders System-Level Design Flow Based on a Functional Reference for HW and SW. 23-28 2007 conf/dac/2007 DAC http://doi.ieeecomputersociety.org/10.1109/DAC.2007.375046 db/conf/dac/dac2007.html#TibboelRKA07