Revised Position paper, comment on Code generation verification and validation strategy added