3. Bibliography

IEC10

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

ISO11

ISO/IEC 9899:2011. 2011. URL: https://www.iso.org/standard/57853.html.

And14

Davide Andrea. Battery management systems for large lithium-ion battery packs. Artech House, Norwood, MA, May 2014.

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.

3.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.