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