Key factors of safety analysis for application software in vital computers. - Xiao Liang; Yuqiong Wan (ICCE-Berlin, 2015)