Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. - Huerta y Munive, Jonathan Julián; Struth, Georg (Journal of Automated Reasoning, 2022)