CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. - Rose Bohrer; Adriel Luo; Xue An Chuang; André Platzer (ADHS, 2018)