Automatic verification of finite-state concurrent systems using temporal logic specifications
Distribution of the number of citations over years.