From a technical perspective, the authors describe their experiences and recommendations for the process of following laws and standards for the development and management of electronic voting systems. The relationship between system architecture and system requirements is based on finite state voting machines that determine actual behavior of the voting machine.
Weldemariam, K., Mattioli, A., & Villafiorita, A. (2009). Managing requirements for e-voting systems: Issues and approaches motivated by a case study. Paper presented at RE-Vote09 First International Workshop on Requirements Engineering for e-Voting Systems, Atlanta, GA.