Using branching time temporal logic to synthesize synchronization skeletons
Distribution of the number of citations over years.