Michel Houtermans George Apostolakis Aarnout Brombacher Dimitrios Karydas Programmable Electronic System Design & Verification Utilizing DFM. 275-285 http://link.springer.de/link/service/series/0558/bibs/1943/19430275.htm 2000 conf/safecomp/2000 SAFECOMP db/conf/safecomp/safecomp2000.html#HoutermansABK00