Bing Shui Yufan Zhou Jielun Wu Baowen Xu Qingkai Shi Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis. 827-841 2025 CCS https://doi.org/10.1145/3719027.3744826 conf/ccs/2025 db/conf/ccs/ccs2025.html#ShuiZWXS25