Specifying and verifying requirements for election processes