zbMATH中的参考文献（参考文献34条)

1. 科斯塔，加布里埃尔；加莱塔，莱特欧；德加诺，皮耶尔帕洛；盆地，大卫；博德，恰拉：作为部分模型检查的自然投影（2020年）
2. 丙酮，卢卡；法布雷加斯，伊格纳西奥；格雷戈里奥·罗德里格斯，卡洛斯；Ingólfsdóttir，Anna:输入输出一致性模拟的逻辑特征、规则格式和组合性（2019）
3. 加雷维尔，休伯特；朗，弗里德里克；Mateescu，Radu:使用CADP对异步并发系统进行组合验证（2015）
4. 比格，约金；雅各布森，莫顿；雅各布森，拉丝；约根森，肯尼思·伊尔克；默勒，米凯尔·哈克尔；Srba，Jiří：从时间弧Petri网到时间自动机网络的TCTL保护转换（2014）
5. 方塔纳，彼得；克里夫兰，兰斯：证明的力量：时间自动机模型检验的新算法（2014）
6. 方塔纳，彼得；克里夫兰，兰斯：时间自动机的动物园（2014）
7. 朗，弗里德里克；Mateescu，Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查（2013）
8. 蒂莫，奥马尔·兰德里·恩古纳；Reynier，Pierre Alain:关于事件记录自动机的特征公式（2013）
9. Waez，医学博士Tawhid Bin；迪格尔，尤尔根；鲁迪，凯伦：用于实时系统开发的时间自动机综述（2013）
10. 丙酮，卢卡；伯吉斯森，阿纳尔；安娜，英格尔夫斯多蒂尔；Mousavi，Mohammadeza:关于并行过程历史的分解推理（2012）
11. 布耶，帕特里夏；卡塞兹，弗朗克；拉鲁西尼，弗朗索瓦：实时系统的时间模态逻辑。规范、验证和控制（2011）
12. 雅各布森，拉丝；雅各布森，莫顿；默勒，米凯尔·H。；Srba，Jiří：时间弧Petri网的验证（2011）
13. Larsen，Kim Guldstrand:时间自动机的符号和组合可达性（2010）
14. 博尼奥尔，弗里德里克；埃尔蒙，杰罗姆；Pagetti，Claire:具有抢占权的实时系统验证：正负结果（2009）ioport公司
15. Srba，Jiří：时间自动机和Petri网时间扩展的表达能力比较（2008）
16. Cassez，Franck:部分可观测时间博弈的有效动态算法（2007）
17. 卡塞兹，弗朗克；大卫，亚历山大；拉森，金G。；石灰，迪迪埃；Raskin，Jean François:基于观察和结巴不变策略的定时控制（2007）
18. 迪尔克斯，亨宁；库普费希米德，塞巴斯蒂安；Larsen，Kim G.：时间自动机的自动抽象精化（2007）
19. 卡塞纳克，弗朗索瓦；Boniol，Frederic:基于抽象方法验证分布式嵌入式系统的正式框架（2006）ioport公司
20. 卡塞兹，弗朗克；查坦，托马斯；Jard，Claude:时间自动机网络的符号展开（2006）