Ahmad, Z., F. Ahmad, and Z. A Gondal. 2020. “Formal Analysis of Improved and Secure Architecture of E-Voting System Using Hierarchical Coloured Petri Nets”. The Nucleus 56 (4):137-43. http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522.