Abstract interpretation of reactive systems
Distribution of the number of citations over years.