Akhtar, Nadeem, Abdul Rehman, and Dost Muhammad Khan. “Formal Verification of Safety and Liveness Properties Using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System”. Journal of Information Communication Technologies and Robotic Applications (June 30, 2018): 80–88. Accessed August 26, 2026. https://www.jictra.com.pk/index.php/jictra/article/view/84.