Borislava I. Simidchieva Matthew Marzilli Lori A. Clarke Leon J. Osterweil Specifying and verifying requirements for election processes. 63-72 2008 DG.O http://doi.acm.org/10.1145/1367832.1367846 conf/dgo/2008 db/conf/dgo/dgo2008.html#SimidchievaMCO08