Energy efficiency in high speed railway traffic operation: a real-time ecodriving algorithm | IEEE Conference Publication | IEEE Xplore