Development and validation of a model for the optimization of regenerative braking of high speed trains | IEEE Conference Publication | IEEE Xplore