Akhtar, N., Rehman, A. and Khan, D.M. (2018) “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, pp. 80–88. Available at: https://www.jictra.com.pk/index.php/jictra/article/view/84 (Accessed: 25 August 2026).