Numerical vs. statistical probabilistic model checking
Distribution of the number of citations over years.