ZBMaX中的参考文献（615篇）3篇标准文章）

1. Mhiri，萨哈尔：Time4Sys2imi：一种在不确定条件下正式化实时系统模型的工具（2019）
2. Murgia，Maurizio：为异步定时会话类型输入紧急语义（2019）
3. 保尔森，Lawrence C.；尼普科夫，托拜厄斯；文策尔，Makarius：从LCF到伊莎贝尔/HOL（2019）
4. Podymov，V. V.：一种分层时间自动机的平坦化算法（2019）
5. R.J.Van GLabBeek，RoB：确保分布式系统的活跃性：开放性问题（2019）
6. Akshay，S；GASTIN，保罗；Krishna，SunkaRa纳拉亚南：利用树自动机分析定时系统（2018）
7. Bouyer，帕特丽夏；Fahrenberg，尤利；拉森，Kim Guldstrand；Markey，尼古拉斯；Ouknin，Jo.l；Wurrl，Fube：模型检查实时系统（2018）
8. 丹尼斯，Louise A.；Fisher，米迦勒；Webster，Matt：两阶段代理程序验证（2018）
9. 票价，Elie；BoDeEix，Jean Paul；Fieli，MaMoun：过渡系统组合的事件代数在时间自动机中的应用（2018）
10. 卡洛斯，Llana，路易斯；MalueNez，拉斐尔：（MathsFioCo下划线\ MathsFS）一致性关系的公理语义（2018）
11. 约瓦诺维奇，Aleksandra；KWATKOWSKA，马尔塔：使用随机博弈抽象的概率时间自动机的参数综合（2018）
12. Maciej，轩尼诗，马修：区分通信交易（2018）
13. Rupak Maunddar；拉斯金，Jeang-弗兰Couoo:非布尔域中的符号模型检验（2018）
14. Schwammberger，麦克：一种用于证明城市自主交通安全的抽象模型（2018）
15. 塞西亚，Sanjit A.；Sharygina，娜塔莎；Tripakis，斯塔夫罗斯：验证模型（2018）
16. 威默，西蒙；Lammich，彼得：时间自动机的验证模型检验（2018）
17. Al Bataineh，奥玛尔；雷诺兹，马克；法语，提姆：寻找具有循环行为的时间自动机模型的最小和最大终止时间（2017）
18. 卡米莱利，John J.；Schneider，Gerardo：规范性文件的建模与分析（2017）
19. Daca，PrZeMysAw；Henzinger，Thomas A.；K.E.NSK，J.；彼得洛夫，Tatjana：无界时间特性的快速统计模型检验（2017）
20. Jaghoori，Mohammad Mahdi；德波尔，弗兰克；Longuet，德尔菲娜；Couthia.Tom；Sirji，MARJA:实时基于行为系统的组成可调度性分析（2017）