zbMATH中的参考文献（34篇文章中引用）

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