zbMATH参考文献（参考 33篇文章 参考）

1. Aceo，Luca；Fábregas，Ignacio；Gregorio Rodríguez，Carlos；Ingólfsdóttir，Anna:投入产出一致性模拟的逻辑特征、规则格式和组合性（2019年）
2. Garavel，Hubert；Lang，Frédéric；Mateescu，Radu:使用CADP对异步并发系统的组合验证（2015）
3. Byg，Joakim；Jacobsen，Morten；Jacobsen，Lasse；Jørgensen，Kenneth Yrke；Moller，Mikael Harkjær；Srba，Jiří：TCTL从时间弧Petri网到时间自动机网络的转换（2014）
4. Fontana，Peter；Cleaveland，Rance:证明的力量：时间自动机模型检查的新算法（2014）
5. Fontana，Peter；Cleaveland，Rance:时间自动机的动物园（2014）
6. Lang，Frédéric；Mateescu，Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查（2013年）
7. Timo，Omer Landry Nguena；Reynier，Pierre Alain:关于事件记录自动机的特征公式（2013）
8. Waez，Md Tawhid Bin；Dingel，Juergen；Rudie，Karen:实时系统开发的时间自动机调查（2013）
9. Aceto，Luca；Birgisson，Arnar；Ingólfsdóttir，Anna；Mousavi，Mohammadeza:关于并行过程历史的分解推理（2012）
10. 布耶，帕特里夏；卡塞兹，弗朗克；拉鲁西尼，弗朗索瓦：实时系统的时间模态逻辑。规范、验证和控制（2011）
11. Jacobsen，Lasse；Jacobsen，Morten；Moller，Mikael H.；Srba，Jiří：时间弧Petri网的验证（2011）
12. Larsen，Kim Guldstrand:时间自动机的符号和组合可达性（2010）
13. Boniol，Frédéric；Ermont，Jérôme；Pagetti，Claire:实时系统的先发制人验证：消极和积极结果（2009）ioport公司
14. Srba，Jiří：时间自动机和Petri网时间扩展的表达能力比较（2008）
15. Cassez，Franck:部分可观测时间博弈的有效动态算法（2007）
16. Cassez，Franck；David，Alexandre；Larsen，Kim G.；Lime，Didier；Raskin，Jean François:基于观察和结巴不变策略的定时控制（2007）
17. Dierks，Henning；Kupferschmid，Sebastian；Larsen，Kim G.：时间自动机的自动抽象精化（2007）
18. Carcenac，Francois；Boniol，Frederic:基于抽象方法验证分布式嵌入式系统的正式框架（2006）ioport公司
19. Cassez，Franck；Chatain，Thomas；Jard，Claude:时间自动机网络的符号展开（2006）
20. 贝拉德，比阿特丽斯；卡塞兹，弗朗克；哈达德，谢尔盖；莱姆，迪迪埃；鲁克斯，奥利维尔H.：时间自动机和时间Petri网表达能力的比较（2005）