UML - A Part of an Interlocking System Development Process. - Karol Rástocný; Karol Rástocný Jr. (TST, 2012)

Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment. - Karol Rástocný; Mária Franeková; Iveta Zolotová; Karol Rástocný Jr. (Comput. Informatics, 2014)