陈明帅 肖翰0003 陶唐0004 王淑玲（Shuling Wang） 杨梦飞 詹乃军（Naijun Zhan） 赵恒军 梁邹 MARS：混合系统建模、分析和验证的工具链。 39-58 2017 令人信服的正确系统 https://doi.org/10.1007/978-3-319-48628-4_3 books/sp/HBO2017 db/books/collections/HBO2017.html#ChenHTWYZZ17