Estou procurando localizar um bom recurso (livro ou outro) sobre técnicas / metodologias de desenvolvimento de sistemas críticos para a segurança, especialmente algo que cubra tanto o hardware quanto o software. Eu tenho um bom conhecimento de trabalho de C / C ++, portanto, mesmo que seja apenas código no SourceForge, etc, eu ainda apreciaria um link para ele para navega

Obrigado