"Safer C: Developing Software for High-Integrity and Safety-Critical Systems" von Les Hatton ist ein umfassendes Werk, das sich mit der Entwicklung von Software in sicherheitskritischen Systemen unter Verwendung der Programmiersprache C...