@inproceedings{KR11, author = {S. Kramer and P.Y.A. Ryan}, booktitle = {Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems}, publisher = {{IEEE}}, title = {A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems}, pages = {9--21}, year = {2011} }