A Résumé on Interval Runge-Kutta Methods