A Methodology for Supporting System-Level Design Space Exploration at Higher Levels of Abstraction. - Joze Dedic; Matjaz Finc; Andrej Trost (J. Circuits Syst. Comput., 2008)