\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}
