Geert Janssen A Consumer Report on BDD Packages. 217- 2003 conf/sbcci/2003 SBCCI http://dx.doi.org/10.1109/SBCCI.2003.1232832 db/conf/sbcci/sbcci2003.html#Janssen03