A Storm is Coming: A Modern Probabilistic Model Checker
Distribution of the number of citations over years.