PHAVer: algorithmic verification of hybrid systems past HyTech
Distribution of the number of citations over years.