The FSAP/NuSMV-SA Safety Analysis Platform
Distribution of the number of citations over years.