Stefano Campanelli Alessandro Falleni Fabio Martinelli Marinella Petrocchi Anna Vaccarelli Mobile Implementation and Formal Verification of an e-Voting System. 476-481 2008 ICIW http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.77 conf/iciw/2008 db/conf/iciw/iciw2008.html#CampanelliFMPV08