Statistics of A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems