Emilio Gaudette, Michael Moussa, Ian G. Harris. A method for the evaluation of behavioral fault models. In Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003. pages 169-172, IEEE Computer Society, 2003. [doi]
Abstract is missing.