Asymptotic models for buckling and dynamics of thin films resting on soft, prestretched substrates