Szukana fraza: [Abstract = "We implement the approach for the solver VALENCIA\-IVP by introducing into it a specialized template for enclosing the first\-order derivatives of non\-smooth functions. We demonstrate the applicability of our technique using a mechanical system model with friction and hysteresis. We conclude the paper by giving a perspective on future research directions in this area."]