This work addresses the problem of computing a certified $\epsilon$-approximation of all real roots of a integer polynomial with simple roots.A simple refinement method for isolating intervals, called Quadratic Interval Refinement is introduced which has guaranteed correctness and quadratic convergence speed. Then, a root approximation algorithm based on this method is introduced, and its bit complexity is analyzed.