Akhtar, Nadeem, Abdul Rehman, and Dost Muhammad Khan. 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, June, 80-88. https://www.jictra.com.pk/index.php/jictra/article/view/84.