Buccafurri, Francesco, Thomas Eiter, Georg Gottlob, and Nicola Leone. 1998. “COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) ”. Periodica Polytechnica Electrical Engineering 42 (1):91-101.