www.prismmodelchecker.org
[SAM21] Gautham Nayak Seetanadi, Karl-Erik Årzen and Martina Maggio. Control-based event-driven bandwidth allocation scheme for video-surveillance systems. Cyber-Physical Systems. 2021. [Analyses the performance and safety of video surveillance networks using PRISM.]
Links: [Google] [Google Scholar]

Publications