Buccafurri, F., Eiter, T., Gottlob, G., Leone, N. “COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) ”, Periodica Polytechnica Electrical Engineering, 42(1), pp. 91–101, 1998.