Text this: State observers for the time discretization of a class of impulsive mechanical systems.