Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits - Roberto Castelli; Jean-Philippe Lessard (2011)