Ahmad, Z., 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, June 2020, pp. 137-43, http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522.