Testing from Partial Deterministic FSM Specifications
Distribution of the number of citations over years.