[ChenHTWYZZZ17]MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid SystemsChen, M.; Han, X.; Tang, T.; Wang, S.; Yang, M.; Zhan, N.; Zhao, H. and Zou, L.In Provably Correct Systems, pages 38-57, NASA Monographs in Systems and Software Engineering , 2017. Downloads: bib