Lower and upper bounds in zone-based abstractions of timed automata
Distribution of the number of citations over years.