Boeken over Virtual contraction and passivity based control of nonlinear mechanical systems