Jürgen Ruf Thomas Kropf Jochen Klose A Visual Approach to Validating System Level Designs. 186-191 2002 conf/isss/2002 ISSS http://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227175 db/conf/isss/isss2002.html#RufKK02