A Formal Model-Based Design Method for Robotic Systems
Distribution of the number of citations over years.