Akhtar, N.; Rehman, A.; Khan, D. M. Formal Verification of Safety and Liveness Properties Using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System. jictra 2018, 80-88.