Rástočný, K. et al. 2018. Modelling of Diagnostics Influence on Control System Safety. Computing and Informatics. 37, 2 (Jul. 2018), 457–475.