  The goal of this paper is to show how to produce a piece of rigorous
bifurcation diagram of periodic orbits for an ODE. We study the Rossler system,
one of the textbook examples of ODEs generating nontrivial dynamics, for the
parameter range containing two period doubling bifurcations.
