Model checking software product lines with SNIP
Distribution of the number of citations over years.