G. Fan and R. Holte, “The Spurious Path Problem in Abstraction”, SOCS, vol. 6, no. 1, pp. 18–27, Jun. 2015.