Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT | IEEE Journals & Magazine | IEEE Xplore