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