Multi-domain integrated modeling and verification for the ball screw feed system in machine tools. (December 2020)