Safer C : Developing Software for High-Integrity and Safety-Criti