zbMATH中的参考文献（参考 32篇文章 引用，1标准件)

1. Lavaei，Abolfazl；Khaled，Mahmoud；Soudjani，Sadegh；Zamani，Majid:大型随机系统自动控制器综合的并行化工具（2020）
2. Cauchi，Nathalie；Abate，Alessandro:海报摘要：StocHy——随机过程的自动验证和综合。（2019年）
3. Baier，Christel；de Alfaro，Luca；Forejt，Vojtěch；Kwiatkowska，Marta：模型检验概率系统（2018）
4. Bouyer，Patricia；Brihaye，Thomas；Carlier，Pierre；Menet，Quentin：随机时间自动机的组合设计（2016）
5. Garavel，Hubert:重温过程计算中的顺序组合（2015）
6. Latella，Diego；Massink，Mieke；de Vink，Erik P.：标记态到功能转换系统的协同模拟（2015）
7. Gómez，Rodolfo:带截止期的模型检验时间自动机与Uppaal（2013）
8. Hahn，Ernst Moritz；Hartmanns，Arnd；Hermanns，Holger；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
9. Norman，Gethin；Parker，David；Sproston，Jeremy:概率时间自动机的模型检验（2013）
10. D'Argenio，Pedro R.；Sánchez Terraf，Pedro；Wolovick，NicoláS:非确定性标记马尔可夫过程的双模拟（2012）
11. Katoen，Joost Pieter；van de Pol，Jaco；Stoelinga，Mariëlle；Timmer，Mark：概率自动机数据的线性过程代数格式（2012）
12. Markovski，J.；D'argenio，P.R.；Baeten，J.C.M.；de Vink，E.P.：调和实时和随机时间：概率细化的需要（2012）
13. Fietzke，Arnaud；Hermanns，Holger；Weidenbach，Christoph:基于叠加的一阶概率时间自动机分析（2010）
14. 希尔斯顿，简：集体动力学的过程代数。（引申摘要）（2010）ioport公司
15. Mader，Angelika；Bohnenkamp，Henrik；Usenko，Yaroslav S.；Jansen，David N.；Hurink，Johann；Hermanns，Holger:成本最优计划的综合与随机评估（2010）ioport公司
16. van Beek，D.A.；Cuijpers，P.J.L.；Markovski，J.；Nadales Agut，D.E.；Rooda，J.E.：在混合合成环境中协调紧迫性和可变抽象性（2010）
17. Gómez，Rodolfo:Uppaal时间自动机的合成翻译（2009）
18. Markovski，Jasen；de Vink，Erik P.：基于离散实随机时间过程代数的分布式系统性能评估（2009）
19. 徐天华；唐涛；高春海；蔡百根：列控系统中数据通信系统的可靠性分析（2009）
20. Markovski，Jasen；de Vink，Erik P.：用离散随机时间扩展时间过程代数（2008）