The mathematics of asymptotic stability in the Kuramoto model - Helge Dietert; Bastien Fernandez (2018)