Probabilistic risk assessment studies for digital I&C: detected failures and priority unit - Tyrväinen, Tero (2022)