马尔科·博扎诺 哈罗德·布鲁因杰斯 亚历山德罗·西马蒂 Joost-Pieter Katoen公司 托马斯·诺尔0001 斯特凡诺·托内塔 指南针3.0。 379-385 2019 墨西哥玉米饼（1） https://doi.org/10.1007/978-3-030-17462-0_25 conf/tacas/2019-1 db/conf/tacas/tacas2019-1.html#BozzanoBCKNT19