Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces | IEEE Journals & Magazine | IEEE Xplore