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