Urbán, P. CONSTRAINT-BASED DIAGNOSIS ALGORITHMS FOR MULTIPROCESSORS , Periodica Polytechnica Electrical Engineering, 40(1), pp. 39–52, 1996.