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