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