Guidelines for Writing High Integrity Software in C
Bright Solutions Global PLC