I Stürmer,
M Conrad, H Doerr… - IEEE Transactions on …, 2007 - ieeexplore.ieee.org
Unlike for conventional compilers for imperative programming languages such as C or ADA,
no established methods for safeguarding artifacts generated by model-based code …