Process for Designing and Implementing Provably Verifiable Voting Systems