Rástočný, K.; Ždánsky, J.; Franeková, M.; Zolotová, I. Modelling of Diagnostics Influence on Control System Safety. Comput. Inform. 2018, 37, 457-475.