Akhtar N, Rehman A, Khan DM. Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System. jictra [Internet]. 2018 Jun. 30 [cited 2026 Aug. 27];:80-8. Available from: https://jictra.nicerjss.com/index.php/jictra/article/view/84