MCMAS: an open-source model checker for the verification of multi-agent systems
Distribution of the number of citations over years.