The software model checker Blast
Distribution of the number of citations over years.