A formal method for improving the transient behaviour of a non-linear flexible link