Moran, M.; Heather, J. Automated Analysis of Voting Systems With Dolev-Yao Intruder Model. eceasst 2014, 66.