Potential applications of model checking in probabilistic risk assessments - Pakonen Antti; Helminen Atte (2020)