Efficient monitoring of safety properties
Distribution of the number of citations over years.