IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. - Huerta y Munive, Jonathan Julián; Foster, Simon; Gleirscher, Mario; Struth, Georg; Pardillo Laursen, Christian; Hickman, Thomas (Journal of Automated Reasoning, 2024)