Modeling and Analyzing Faults to Improve Election Process Robustness. - Borislava I. Simidchieva; Sophie Engle; Michael Clifford; Alicia Clay Jones; Sean Peisert; Matt Bishop; Lori A. Clarke; Leon J. Osterweil (EVT/WOTE, 2010)