Safer C: Developing Software for High-Integrity and Safety-Critical Systems