@INPROCEEDINGS{GaudetteMH03, author = {Emilio Gaudette and Michael Moussa and Ian G.Harris}, title = {A Method for the Evaluation of Behavioral Fault Models}, booktitle = {Proceedings of the 8th IEEE International Workshop on High-Level Design Validation and Test Workshop}, year = {2003}, address = {}, month = {}, pages = {169} }