www.prismmodelchecker.org
[MCDMR18] Giovanni Mazzeo, Luigi Coppolino, Salvatore D’Antonio, Claudio Mazzariello and Luigi Romano. SIL2 Assessment of an Active/Standby COTS-Based Safety-related System. Reliability Engineering & System Safety. 2018. [Proposes an approach to safety certification for Commercial-Off-The-Shelf (COTS) components using PRISM.]
Links: [Google] [Google Scholar]

Publications