F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone, “COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) ”, Period. Polytech. Elec. Eng., vol. 42, no. 1, pp. 91–101, Jan. 1998.