Advanced Information System for Safety-Critical Processes. - Stefan Kozák; Slavomír Kajan; Ján Cigánek; Viktor Ferencey; Igor Belai (Comput. Informatics, 2014)