Probabilistic reachability for parametric Markov models
Distribution of the number of citations over years.