Stability of semidiscrete formulations for elastodynamics at small time steps