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 (Jan. 1996), 39–52.