Comment by lelanthran

> Wanted something that teaches the rigour behind certified systems without requiring a decade of on-the-job learning first.

I've built certified systems (munitions), and the pain of certification is almost always in the process not the coding.

The process is expensive, rigorous and lengthy. It's the process that certifies something good enough to get the stamp for release, not the code design or architecture.