K. Rástočný, J. Ždánsky, M. Franeková, and I. Zolotová, “Modelling of Diagnostics Influence on Control System Safety”, Comput. Inform., vol. 37, no. 2, pp. 457–475, Jul. 2018.