MISRA C, for Security's Sake!
basic concepts and taxonomy of dependable and secure computing .