A Fault Propagation Model for Embedded Software. - Xiaobo Yan; Yichen Wang; Anzhi Zhu; Yikun Wang (QRS Companion, 2015)