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, doi:10.71330/thenucleus.2019.522.