Anfonwch hwn fel neges destun: Regularity and approximation of strong solutions to rate-independent systems