Vibration suppression of a tool in a lathe machine through contract-based design. Issue 5 (September 2016)