?url_ver=Z39.88-2004&rft_id=10.1109%2FTCAD.2010.2045556&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Xia&rft.aufirst=L.&rft.au=Xia%2C+L.&rft.atitle=Automated+model+generation+algorithm+for+high-level+fault+modeling&rft.title=IEEE+Transactions+on+Computer-Aided+Design+of+Integrated+Circuits+and+Systems&rft.date=2010&rft.issue=7&rft.pages=1140-1145&rft.issn=02780070&rft.volume=29&rft.genre=article