@inproceedings{8f7acb3ca92b44aa839c9246e80fefe8,
title = "On the value of fault injection on the modeling level",
author = "Bernhard Aichernig",
year = "2006",
language = "English",
volume = "CS-TR-969",
series = "University of Newcastle upon Tyne, Computer Science Technical Report Series",
publisher = ".",
pages = "59--71",
booktitle = "Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005",
note = "International Symposium of Formal Methods Europe ; Conference date: 18-07-2005 Through 18-07-2005",
}