学习安全关键系统开发（C / C ++）的最佳资源是什么？

I'm looking to locate a good resource (book or otherwise) on safety critical systems development techniques/methodologies, especially something that will cover both hardware and software . I have a sound working knowledge of C/C++, so even if it is just code on SourceForge etc I would still appreciate a link to it to have a browse.I'm looking to locate a good resource (book or