Urbán, P., Altmann, J., Tilly, K., Petri, A., Dal Cin , M., Selényi, E. and Pataricza , A. (1996) “CONSTRAINT-BASED DIAGNOSIS ALGORITHMS FOR MULTIPROCESSORS ”, Periodica Polytechnica Electrical Engineering, 40(1), pp. 39–52.