Fan, G.; Holte, R. The Spurious Path Problem in Abstraction. SOCS 2021, 6, 18-27.