Andrew Banks, MISRA C Working Group