zbMATH中的参考文献（引用于，3标准条款)

1. Clemente，Lorenzo；Lasota，Sławomir:时间下推自动机的可达关系（2021）
2. Aman，Bogdan；Ciobanu，Gabriel:具有定时迁移和定时通信的多智能体系统中的雇佣成本（2020）
3. Baresi，L.；Bersani，M.M.；Marconi，F.；Quattrocchi，G.；Rossi，M.：使用正式验证评估Spark应用程序的执行时间（2020年）
4. Bersani，Marcello M.；Soldo，Matteo；Menghi，Claudio；Pelliccione，Patrizio；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
5. 法伦伯格，乌利；莱盖，阿克塞尔；夸斯，卡林：用定量游戏计算分支距离（2020年）
6. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；诺曼，盖钦：自主系统控制器综合的协作模型（2020）
7. Paul Gainer；Sven Linker；Dixon，Clare；Hustadt，Ullrich；Fisher，Michael:分布式同步的多尺度验证（2020）
8. Glonina，A.B.：用于测试模块化计算系统配置的实时约束的工具系统（2020）
9. 古铁雷斯，朱利安；纳吉布，穆罕默德；佩雷利，朱塞佩；伍尔德里奇，迈克尔：自动时间均衡分析：多人游戏的验证和综合（2020）
10. Kölbl，Martin；Leue，Stefan；Wies，Thomas:TarTar:定时自动修复工具（2020）
11. David Mestel；Roscoe，A.W.：并发模型之间的转换（2020）
12. Saddem yagoubi，Rim；Naud，Olivier；Godary dejean，Karen；Crestani，Didier:模型检验精确农业物流：差异收获案例（2020）
13. 安德烈，Étienne；Jerray，Jawher；Mhiri，Sahar:Time4sys2imi：一种在不确定条件下正式化实时系统模型的工具（2019年）
14. Murgia，Maurizio:异步定时会话类型的输入紧急语义（2019）
15. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
16. Podymov，V.V.：分层时间自动机的平坦算法（2019）
17. Martin Tappler；Bernhard K.Aichernig；Larsen，Kim Guldstrand；Lorber，Florian:学习时间--从测试中学习时间自动机（2019）
18. van Glabbeek，Rob：《确保分布式系统的活跃性：开放问题》（2019）
19. Akshay，S.；Gastin，Paul；Krishna，Shankara Narayanan:使用树自动机分析时间系统（2018）
20. Patricia Bouyer；Uli Fahrenberg；Kim Guldstrand；Markey，Nicolas；Ouakine，Joël；Worrell，James：模型检查实时系统（2018）