INFO:
On Voting Machine Design for Verification and Testability - Microsoft Research