Rudy Lauwereins Jan Madsen 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France DATE ACM 2007 978-3-9810801-2-4 db/conf/date/date2007.html