Muniveand Struth. Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/hol. 20 Sept. 2021.