Formal verification by symbolic evaluation of partially-ordered trajectories
Distribution of the number of citations over years.