Z. Ahmad, F. Ahmad, and Z. A. Gondal, “Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets”, The Nucleus, vol. 56, no. 4, pp. 137–143, Jun. 2020.