Kozák, Štefan et al. 2015. Advanced Information System for Safety-Critical Processes. Computing and Informatics. 33, 6 (Feb. 2015), 1356–1376.