Annotation-Guided Soft-Error Injection. - Clemens Terasa; Sibylle Schupp (GI-Jahrestagung, 2013)