P. M. Pesado, G. E. Feierherd, and A. C. Pasini, “Requirement specifications for electronic voting systems”, JCS&T, vol. 5, no. 04, pp. p. 312–319, Dec. 2005.