Use of Static Code Analysis to Support the Safety Certification of Airborne Software. - Richard Granville; Keith Harrison (SSS, 1998)