references.bib

% Encoding: UTF-8

@techreport{RFC8174,
  author      = {B. Leiba},
  institution = {Internet Engineering Task Force (IETF)},
  title       = {{RFC} 8174 Ambiguity of Uppercase vs Lowercase in {RFC} 2119 Key Words},
  year        = {2017},
  month       = {May},
  doi         = {10.17487/rfc8174},
  publisher   = {{RFC} Editor},
  url         = {https://tools.ietf.org/html/rfc8174}
}

@techreport{RFC2119,
  author      = {S. Bradner},
  institution = {Network Working Group},
  title       = {{RFC} 2119 Key words for use in {RFCs} to Indicate Requirement Levels},
  year        = {1997},
  month       = {March},
  doi         = {10.17487/rfc2119},
  publisher   = {{RFC} Editor},
  url         = {https://tools.ietf.org/html/rfc2119}
}

@book{Medoff2014,
  author    = {Medoff, Michael and Faller, Rainer},
  publisher = {exida},
  title     = {Functional safety -- {An} {IEC} 61508 {SIL} 3 compliant development process},
  year      = {2014},
  address   = {Sellersville, Pa},
  isbn      = {9781934977088}
}

@misc{IEC61508-3:2010,
  title     = {{IEC}~61508-3: Functional safety of electrical/electronic/programmable electronic safety-related systems -- Part 3: Software requirements},
  year      = {2010},
  address   = {Geneva, Switzerland},
  isbn      = {9782889105267},
  number    = {IEC 61508-3},
  publisher = {International Electrotechnical Commission}
}

@misc{ISO-9899:2011,
  title     = {{ISO}/{IEC} 9899:2011},
  year      = {2011},
  address   = {},
  isbn      = {},
  number    = {ISO/IEC 9899:2011},
  publisher = {International Electrotechnical Commission},
  url       = {https://www.iso.org/standard/57853.html}
}

@book{MISRA-C:2012,
  editor    = {{MIRA Limited}},
  publisher = {MIRA Limited},
  title     = {MISRA C 2012 : guidelines for the use of the c language in critical systems},
  year      = {2013},
  address   = {Nuneaton},
  isbn      = {9781906400118}
}

@book{Andrea2014,
  title     = "Battery management systems for large lithium-ion battery packs",
  author    = "Andrea, Davide",
  publisher = "Artech House",
  month     =  may,
  year      =  2014,
  address   = "Norwood, MA"
}

@Comment{jabref-meta: databaseType:bibtex;}