www.prismmodelchecker.org
[GZSS21] Sagarika Ghosh, Marzia Zaman, Gary Sakauye and Srinivas Sampalli. An Intrusion Resistant SCADA Framework Based on Quantum and Post-Quantum Scheme. Applied Sciences. 2021. [Proposes an intrusion resistant quantum algorithm and analyses it using PRISM.]
Links: [Google] [Google Scholar]

Publications