bibliographic details : 嵌入式系统可靠性设计