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