FAUST: FAUlt-injection Script-based Tool. - Alfredo Benso; Stefano Di Carlo; Giorgio Di Natale; Paolo Prinetto; I. Solcia; Luca Tagliaferri (IOLTS, 2003)