2. Bibliography

ISO07

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

IEC10

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

Bra97

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.

Lei17

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.

MF14

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

MIRALimited13

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.