Štefan Kozák, S. Kajan, J. Cigánek, V. Ferencey, and I. Bélai, “Advanced Information System for Safety-Critical Processes”, Comput. Inform., vol. 33, no. 6, pp. 1356–1376, Feb. 2015.