Formalizing Timed BPEL by D-LOTOS
Distribution of the number of citations over years.