Simulation and testing for the residual stress-strain of lined steel pipe after plastic forming | IET Conference Publication | IEEE Xplore