SILOG: A practical tool for large digital network simulation. - Norbert Giambiasi; A. Miara; D. Muriach (DAC, 1979)

Methods for generalized deductive fault simulation. - Norbert Giambiasi; A. Miara; D. Muriach (DAC, 1980)