MISRA 2012 Guideline for the use of the C language in critical systems.