Bruno Karelovic: Quantitative analysis of stochastic systems: priority games and populations of Markov chains. (Analyse quantitative des systèmes stochastiques: jeux de priorité et population de chaînes de Markov). Sorbonne Paris Cité, France 2017