45 lines
1.1 KiB
Plaintext
45 lines
1.1 KiB
Plaintext
\begin{thebibliography}{1}
|
|
|
|
\bibitem{mil1991}
|
|
U.~S. DOD.
|
|
\newblock {\em Reliability Prediction of Electronic Equipment}.
|
|
\newblock DOD, 1991.
|
|
|
|
\bibitem{microchip}
|
|
Microchip.
|
|
\newblock Microchip technology inc. home page.
|
|
\newblock Available from http://www.microchip.com/, 2009.
|
|
|
|
\bibitem{nasafta}
|
|
NASA.
|
|
\newblock Fault tree handbook with aerospace applications.
|
|
\newblock {\em NASA Handbook}, 2002.
|
|
|
|
\bibitem{eulerviz}
|
|
A.~F. Peter~Rodgers, John~Howse.
|
|
\newblock Visualization of euler diagrams.
|
|
\newblock http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf, 2005.
|
|
|
|
\bibitem{nucfta}
|
|
U.~N. reg commission.
|
|
\newblock Fault tree handbook.
|
|
\newblock {\em Nuclear Safety Analysis Handbook}, 1981.
|
|
|
|
\bibitem{en61508}
|
|
E.~N. Standard.
|
|
\newblock Functional safety of electrical/electronic/programmable electronic
|
|
safety related systems.
|
|
\newblock EN61508, 2002.
|
|
|
|
\bibitem{en298}
|
|
E.~N. Standard.
|
|
\newblock Gas burner controllers with forced draft.
|
|
\newblock EN298, 2003.
|
|
|
|
\bibitem{sccs}
|
|
N.~Storey.
|
|
\newblock {\em Safety-Critical Computer Systems ISBN 0-201-42787-7}.
|
|
\newblock Prentice Hall, 1996.
|
|
|
|
\end{thebibliography}
|