Kozák, Štefan, Slavomír Kajan, Ján Cigánek, Viktor Ferencey, and Igor Bélai. “Advanced Information System for Safety-Critical Processes”. Computing and Informatics 33, no. 6 (February 11, 2015): 1356–1376. Accessed March 25, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/2818.