机译：扩展具有随机模型检查功能的基于综合模型的系统工程框架
机译：状态相关的随机模型：考虑多个恶化过程及其相互作用的，用于建模恶化的工程系统的通用随机框架
机译：通过基于模型的系统工程优化系统架构，并利用DoD架构框架和系统建模语言
机译：以综合为中心的模型驱动的系统工程框架中的性能模型抽象
机译：开发虚拟概念工程流程以扩展基于模型的系统工程。
机译：基于随机混合系统的框架用于对相关故障过程进行建模
机译：在基于模型的系统工程框架中使用模式进行专业知识重用
机译：基于模型的系统工程引入基于模型的系统工程转换系统工程
