Blair Fort Davor Capalija Zvonko G. Vranesic Stephen Dean Brown 131-142 2006 conf/fccm/2006 FCCM http://doi.ieeecomputersociety.org/10.1109/FCCM.2006.10 db/conf/fccm/fccm2006.html#FortCVB06