System-Level Design Flow Based on a Functional Reference for HW and SW. - Walter H. Tibboel; Víctor Reyes; Martin Klompstra; Dennis Alders (DAC, 2007)