P. Urbán, “CONSTRAINT-BASED DIAGNOSIS ALGORITHMS FOR MULTIPROCESSORS ”, Period. Polytech. Elec. Eng., vol. 40, no. 1, pp. 39–52, Jan. 1996.