1. About | UPPAAL. [Online]. Available: https://uppaal.org/. Accessed 09 May 2021
2. Ahmed I, Khan A, Habib MA, Anjum A, Ahmed M (2018) A Secure Provenance Scheme for Detecting Consecutive Colluding Users in Distributed Networks. Int J Parallel Program. https://doi.org/10.1007/s10766-018-0601-y
3. Comms /CPN – CPN Tools. [Online]. Available: http://cpntools.org/2018/01/09/comms-cpn/. Accessed 09 May 2021
4. CPN Tools – A tool for editing, simulating, and analyzing Colored Petri nets. [Online]. Available: http://cpntools.org/. Accessed 09 May 2021
5. GitHub - Z3Prover/z3: The Z3 Theorem Prover. [Online]. Available: https://github.com/Z3Prover/z3. Accessed: 09 May 2021