Applications programs (computers); Computer programming; Software engineering; Flight control; Spacecraft docking; Life support systems; Detection; Guidance (motion); Human reactions; Safety; Certification;
机译：通过故障树增强软件安全性：从应用程序到飞行关键软件的经验
机译：在工业环境中使用边界模型检查进行安全关键软件的覆盖率分析
机译：安全关键型嵌入式软件的正式方法-飞行预警计算机案例研究
机译：加速嵌入式软件故障和汽车安全关键应用的覆盖测试 - 基于模型的设计和虚拟原型的应用
机译：基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译：敏捷方法的开源安全关键软件
机译：使用Nexus开发飞行安全关键软件的验证环境
