Stability And Convergence Of Mechanical Systems With Unilateral Constraints by Nathan Van De Wouw & Remco I. Leine