Hidetoshi Tanaka Masato Kawai Izumi Sugasaki Tadanobu Hakuba System Level Fault Dictionary Generation. 884-887 1988 conf/itc/1988 ITC db/conf/itc/itc1988.html#TanakaKSH88