Safer C: Developing Software for High-Integrity and Safety-Critical Systems (The McGraw-Hill International Series in Software Engineering)