机译：广义布尔逻辑驱动的马尔可夫过程：一个强大的建模框架，用于基于模型的动态可修复和可重构系统的安全性分析
机译：安全设计：确定安全指标的BIM系统安全方面的理论框架
机译：用于食品综合风险分析的SAFE FOODS框架：一种设计用于基于科学，透明，开放和参与式食品安全管理的方法。
机译：基于模型的安全关键系统的设计，分析和评估框架
机译：安全关键系统的基于模型的可用性分析：正式方法框架。
机译：安全质量和风险管理的集成框架：基于通用患者安全分类的信息和事件管理系统
机译：广义布尔逻辑驱动马尔可夫流程：一种强大的动态可修复和可重新配置系统的基于模型的安全性分析建模框架
机译：核电厂安全相关分析综合信息系统的概念设计（IRIs第1阶段）
