@inproceedings{mci/Conrad2008,
author = {Conrad, Mirko},
title = {Model-based design for IEC 61508: Towards translation validation of generated code},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 113-117 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}