2. Bibliography


ISO/IEC 9899:tc3. 2007. URL: http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf.


IEC 61508-3: functional safety of electrical/electronic/programmable electronic safety-related systems – part 3: software requirements. 2010.


S. Bradner. RFC 2119 key words for use in RFCs to indicate requirement levels. Technical Report, Network Working Group, March 1997. URL: https://tools.ietf.org/html/rfc2119, doi:10.17487/rfc2119.


B. Leiba. RFC 8174 ambiguity of uppercase vs lowercase in RFC 2119 key words. Technical Report, Internet Engineering Task Force (IETF), May 2017. URL: https://tools.ietf.org/html/rfc8174, doi:10.17487/rfc8174.


Michael Medoff and Rainer Faller. Functional safety – An IEC 61508 SIL 3 compliant development process. exida, Sellersville, Pa, 2014. ISBN 9781934977088.


MIRA Limited, editor. MISRA C 2012 : guidelines for the use of the c language in critical systems. MIRA Limited, Nuneaton, 2013. ISBN 9781906400118.

2.1. Usage

This bibliography is generated by sphinxcontrib-bibtex. In order to extend it edit the file references.bib in the root directory of this documentation.