selected publications academic article Architecting safety-critical decision-support systems for nuclear emergency management. IT. 58. 2016