Akhtar, N. et al. 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. (Jun. 2018), 80–88.