Simple On-the-fly Automatic Verification of Linear Temporal Logic
Distribution of the number of citations over years.