Safety verification of refrigeration containers using barrier certificates
Distribution of the number of citations over years.