The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

Browse the full SAS paper archive.