N. Akhtar, A. Rehman, and D. M. Khan, “Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System”, jictra, pp. 80–88, Jun. 2018, Accessed: Aug. 26, 2026. [Online]. Available: https://www.jictra.com.pk/index.php/jictra/article/view/84