Generating Code in Compliance with MISRA C:2012