Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
Distribution of the number of citations over years.