@inproceedings{SJB05,
title = {Finding and Fixing Faults },
author = {Staber, Stefan and Jobstmann, Barbara and Bloem, Roderick},
year = {2005},
booktitle = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr{\"u}cken, Germany, October 3-6, 2005, Proceedings},
pages = {35-49},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3725},
team = {DCS},
}
