A mathematical model of real-time simulation and the convergence analysis on real-time Runge-Kutta algorithms | BIAI Journals & Magazine | IEEE Xplore