Analytical modeling of shot peen forming process using cross-sectional linear indentation coverage method. (November 2017)