M. Moran and J. Heather, “Automated Analysis of Voting Systems with Dolev-Yao Intruder Model”, ECEASST, vol. 66, Feb. 2014.