机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
机译：邮票转向东：整合系统人体工程学方法，用于分析铁路级交叉安全管理
机译：实时DEVS在安全关键型嵌入式控制系统分析中的应用：铁路道口控制示例
机译：用正式方法对无线电交叉控制系统的安全分析
机译：安全关键系统的基于模型的可用性分析：正式方法框架。
机译：肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法（形式调整的间接比较荟萃分析和主成分分析）
机译：结合半正规和正式方法，以便在自动流动性按需系统中进行安全控制
机译：高速地面运输系统的安全性：计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估
