K. Rástočný, M. Franeková, I. Zolotová, and K. Rástočný, Jr., “Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment”, Comput. Inform., vol. 33, no. 2, pp. 343–368, Jun. 2014.