Highly stable implicit–explicit Runge–Kutta methods