机译：对产品系列中的可变性进行建模和分析：具有可变性约束的模态转换系统的模型检查
机译：使用标记的过渡系统和Boole等式系统的网络进行部分模型检查
机译：使用可变性抽象和模态转换系统的CTL〜★基于家庭的模型检查
机译：用于检查标记的kripke结构，模态转换系统和区间转换系统的模型的统一框架
机译：制造过渡中动态随机系统的统计过程控制的统一框架。
机译：Pathogens的Patch Dynamics建模框架：复杂疫情系统的统一和标准化方法
机译：基于标记过渡系统和网络的部分模型检验 布尔方程系统
