Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
Distribution of the number of citations over years.