Directed explicit-state model checking in the validation of communication protocols
Distribution of the number of citations over years.