Predictive cutting force model for a cryogenic machining process incorporating the phase transformation of Ti-6Al-4V