Ask HN: What are some good resources to learn safety-critical C/C++ coding from?

I will need to learn about writing safety-critical C/C++ code at my current job. Many resources[1-2] tell you what not to do, but few tell you what to do[3].

What are some excellent examples of open source code bases from which to learn?

1: https://www.misra.org.uk/ 2: https://yurichev.com/mirrors/C/JPL_Coding_Standard_C.pdf 3: https://nasa.github.io/fprime/UsersGuide/dev/code-style.html