Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices. - Thomas Stephens; Thomas Wanner (SIAM J. Appl. Dyn. Syst., 2014)