Modeling and Verification of Cutting Tool Temperatures in Rotary Tool Turning of Hardened Steel