Pesado, P. M.; Feierherd, G. E.; Pasini, A. C. Requirement Specifications for Electronic Voting Systems. JCS&T 2005, 5, p. 312-319.