Jeremy Bryans Bev Littlewood Peter Y. A. Ryan Lorenzo Strigini E-voting: Dependability Requirements and Design for Dependability. 988-995 2006 conf/IEEEares/2006 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2006.56 db/conf/IEEEares/ares2006.html#BryansLRS06