Do avionics in general subscribe to MISRA C/C++ or do they go even further with an additional (or different) approach?