Progressive events in supervisory control and compositional verification
Distribution of the number of citations over years.