@inproceedings{MMMSRTETEVVVS,
	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},
	Year = {2011}}