Safer C: Developing Software for High-Integrity and Safety-Critical SystemsGregg ParkesEsaurito4,1Avvisami