高可靠嵌入式计算机系统的发展
孔德岐，李亚晖，郭鹏
Development of dependable embeddedcomputer systems
通信学报 . 2013, (Z1): 22 -175 .