The Temporal Logic of Reactive and Concurrent Systems
Distribution of the number of citations over years.