Text this: Time-optimal control of a single-DOF mechanical system with friction.