Comparing LTL Semantics for Runtime Verification
Distribution of the number of citations over years.