Anish Arora Marvin Theimer On modeling and tolerating incorrect software. 109-134 2005 14 J. High Speed Networks 2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-6801&volume=14&issue=2&spage=109 db/journals/jhsn/jhsn14.html#AroraT05