斯特凡·米奇 安德鲁·索戈孔 Yong Kiam Tan先生 安德烈·普拉泽 赵恒军 金祥宇 王淑玲（Shuling Wang） 詹乃军（Naijun Zhan） ARCH-COMP18类别报告：混合系统定理证明。 110-127 2018 ADHS建筑 https://doi.org/10.29007/vjh3 conf/adhs/2018架构 db/conf/adhs/arch2018.html#MitschSTPZJWZ18