Probabilistic symbolic model checking with PRISM: a hybrid approach
Distribution of the number of citations over years.