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

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