Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions. - Tomás Liendro; Sebastián Zudaire (CoRR, 2020)