Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth: Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS 2020: 169-186