Verification of the CSDS Model in Estimating the Postpeak Behavior of Hard Rocks