Ahmad, Z.; Ahmad, F.; Gondal, Z. A. Formal Analysis of Improved and Secure Architecture of E-Voting System Using Hierarchical Coloured Petri Nets. The Nucleus 2020, 56, 137-143.