@article(Aumann61,
 author       = {R.J. Aumann},
 year         = {1961},
 title        = {Borel Structures for function Spaces},
 journal      = {Illinois Journal of Mathematics},
 volume       = {5},
 number       = {4},
 pages        = {614--630},
 doi          = {10.1215/ijm/1255631584},
)
@book(BaetenWeijland90,
 author       = {J.C.M. Baeten and W.P. Weijland},
 year         = {1990},
 title        = {Process algebra},
 series       = {Cambridge tracts in theoretical computer science},
 volume       = {18},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO978051162419},
)
@article(Dezyne2021,
 author       = {R. van Beusekom and B. de Jonge and P. Hoogendijk and J. Nieuwenhuizen},
 year         = {2021},
 title        = {Dezyne: Paving the Way to Practical Formal Software Engineering},
 journal      = {EPTCS},
 volume       = {338},
 pages        = {19--30},
 doi          = {10.4204/EPTCS.338.4},
 note         = {Proceedings of the 6th Workshop on Formal Integrated Development, F-IDE2021},
)
@inproceedings(DBLP:conf/fm/Broadfoot05,
 author       = {Guy H. Broadfoot},
 year         = {2005},
 title        = {{ASD} Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software},
 editor       = {John S. Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
 booktitle    = {{FM} 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3582},
 publisher    = {Springer},
 pages        = {548--551},
 doi          = {10.1007/11526841\_39},
)
@techreport(GrooteLanik2011,
 author       = {J.F. Groote and J. Lanik},
 year         = {2011},
 title        = {Semantics, bisimulation and congruence results for a general stochastic process operator},
 type         = {Computer Science Report},
 number       = {11/05},
 institution  = {Department of Mathematics and Computer Science, Eindhoven University of Technology},
 url          = {https://pure.tue.nl/ws/files/3214338/712142.pdf},
)
@book(GrooteMousavi14,
 author       = {J.F. Groote and M.R. Mousavi},
 year         = {2014},
 title        = {Modeling and Analysis of Communicating Systems},
 publisher    = {{MIT} Press},
 doi          = {10.7551/mitpress/9946.001.0001},
)
@inproceedings(DBLP:conf/birthday/GrooteV17,
 author       = {J.F. Groote and E.P. de Vink},
 year         = {2017},
 title        = {Problem Solving Using Process Algebra Considered Insightful},
 editor       = {J.{-}P. Katoen and R. Langerak and A. Rensink},
 booktitle    = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {10500},
 publisher    = {Springer},
 pages        = {48--63},
 doi          = {10.1007/978-3-319-68270-9\_3},
)
@article(DBLP:journals/siamrev/GrooteWZ16,
 author       = {J.F. Groote and F. Wiedijk and H. Zantema},
 year         = {2016},
 title        = {A Probabilistic Analysis of the Game of the Goose},
 journal      = {{SIAM} Rev.},
 volume       = {58},
 number       = {1},
 pages        = {143--155},
 doi          = {10.1137/140983781},
)
@inproceedings(DBLP:conf/tacas/HartmannsH14,
 author       = {A. Hartmanns and H. Hermanns},
 year         = {2014},
 title        = {The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification},
 editor       = {E. {\'{A}}brah{\'{a}}m and K. Havelund},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8413},
 publisher    = {Springer},
 pages        = {593--598},
 doi          = {10.1007/978-3-642-54862-8\_51},
)
@book(DBLP:books/ph/Hoare85,
 author       = {C.A.R. Hoare},
 year         = {1985},
 title        = {Communicating Sequential Processes},
 publisher    = {Prentice-Hall},
)
@inproceedings(DBLP:conf/cav/KwiatkowskaNP11,
 author       = {M.Z. Kwiatkowska and G. Norman and D. Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
 editor       = {G. Gopalakrishnan and S. Qadeer},
 booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1\_47},
)
@article(Luttik03,
 author       = {S.P. Luttik},
 year         = {2003},
 title        = {On the expressiveness of choice quantification},
 journal      = {Ann. Pure Appl. Log.},
 volume       = {121},
 number       = {1},
 pages        = {39--87},
 doi          = {10.1016/S0168-0072(02)00082-9},
)
@inproceedings(Mi73a,
 author       = {R. Milner},
 year         = {1973},
 title        = {An approach to the semantics of parallel programs},
 booktitle    = {Convegno di Informatica Teorica, {P}isa},
 pages        = {283--302},
)
@inproceedings(Mi73b,
 author       = {R. Milner},
 year         = {1973},
 title        = {A mathematical model of computing agents},
 editor       = {H.E. Rose and J.C. Shepherdson},
 booktitle    = {Proceedings Logic Colloquium},
 publisher    = {North-Holland},
 pages        = {283--302},
)
@book(DBLP:books/sp/Milner80,
 author       = {R. Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@article(OttYorke2005,
 author       = {W. Ott and J.A. Yorke},
 year         = {2005},
 title        = {Prevalence},
 journal      = {Bulletin of the American Mathematical Society},
 volume       = {42},
 number       = {3},
 pages        = {263--290},
 doi          = {10.1090/S0273-0979-05-01060-8},
)