2006 conf/pads/2006 PADS http://doi.ieeecomputersociety.org/10.1109/PADS.2006.24 db/conf/pads/pads2006.html#X06a