Safer C developing software for high integrity and safety critical systems - Hatton, Les (McGraw-Hill, 1995)