
\documentclass[a4paper,10pt]{book}
\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{tikz} 
\usepackage{subfigure}
\usepackage{amsfonts,amsmath,amsthm}
\usepackage{algorithm}
\usepackage{algorithmic}

%% fix for hyperref bug in algorithm package
\newcommand{\theHalgorithm}{\thechapter.\arabic{algorithm}}
\usepackage{ifthen}
\newboolean{paper}
\setboolean{paper}{false} % boolvar=true or false
\input{style}
\usepackage{hyperref}
\begin{document}
\pagestyle{fancy}

\input{titlepage/titlepage}

\clearpage

\rhead{{\small\bf Failure Mode Modular De-Composition}}         
\rfoot{{\small\bf PhD Thesis : R.P. Clark } }   
 
% Contents
% --------
 
\cfoot{Page \thepage}                   % Contents page numbers centred
 
\clearpage
%\input{colophon/colophon}
\clearpage

\tableofcontents    
\listoffigures    
\listoftables
\listofalgorithms

%
\cleardoublepage

% Main text
% ---------

%
%\middlefoot{ } \outerfoot{{Page \bf\thepage}} % Body of manual has bolded page
                                              % numbers at outer edges
\pagenumbering{arabic}                        % Arabic page numbers hereafter
 
%\begin{document}

\typeout{>>--------------------->> introduction}
\chapter{Thesis Scope}
\input{introduction/introduction}

\chapter{Safety Critical systems Analysis}
\input{statistics/statistics}

\chapter{Survey of Safety Critical \\ Analysis Methodologies \\ and Tools Available}
\input{survey/survey}


\chapter{An overview of European and North Americans Standards}
\input{standards/standards}

\chapter{Failure Mode Modular De-Composition}
\input{fmmd_concept/fmmd_concept}

\typeout{ ---------------- Component Failure Modes Definition }
\chapter { Component Failure \\ Modes Definition}
\input{component_failure_modes_definition/component_failure_modes_definition} 


\typeout{ ---------------- Symptom Extraction }
\chapter {Symptom Extraction Process }
\input{symptom_ex_process/symptom_ex_process}

\typeout{ ---------------- Propositional Logic Diagrams}
\chapter {Propositional Logic Diagrams}
\input{logic_diagram/logic_diagram}

\typeout{ ---------------- Electronic Components as PLDs}
\chapter {Common Electronic Components as PLDs}
\input {components_as_plds/components_as_plds}

\typeout{ ----------------  Software as PLDs}
\chapter {Software as PLDs}
\input{sw_as_plds/sw_as_plds}


\typeout{ ----------------  Mechanical Sub-systems as PLDs}
\chapter {Common Mechanical Sub-systems as PLDs}
%\input{mech_as_plds/mech_as_plds}


\typeout{ ---------------- Symptom Extraction }
\chapter {Symptom Extraction using PLD Diagrams }
\input{symptom_abstraction/symptom_abstraction}



\chapter{A Formal Description of FMMD}
\input{fmmdset/fmmdset}

\chapter{Modelling Software With FMMD}
\input{sw_model/sw_model}


\chapter{FMMD functional~group to \\derived component example : PT100 4 wire Temperature Sensor}
\typeout{ ---------------- pt100}
\input{pt100/pt100}

\chapter{FMMD functional~group to \\derived component example: `ON/OFF' Switch}
\typeout{ ---------------- switch1}
%\input{switch1/switch1}

\chapter{FMMD functional~group to \\derived component example: Safety Critical 'ON OFF' Switch}

\chapter{FMMD functional~group to \\derived component example:  Reading 4 to 20 mA inputs}
%\input{milliampin/milliampin}

\chapter{FMMD functional~group to \\derived component example:  Thermocouple Input }
%\input{thermocouplein/thermocouplein}

\chapter{FMMD functional~group to \\derived component example:  Triac Outputs}
%\input{triacout/triacout}

\chapter{A complete system example, A Safety critical P.I.D temperature controller}
Safety critical in that it must not overheat, and that it must alarm
for incorrect temperature.

\chapter{FMMD Used as a design aide}
\input{fmmd_design_aide/fmmd_design_aide}


\chapter{Conclusion}
%\input{conclusion/conclusion}

\appendix

\chapter{FMMD tool : Design Issues}

reference the MSC document and describe the Java extension classes.
Software documentation for fmmd tool.

\typeout{ ----------------  Euler Diagrams represented as graphs}
\chapter {Euler Diagrams \\ Represented as graphs}
\input{eulerg/eulerg}

\chapter{Fast Zone Discrimination Algorithm}
\input{fzd/fzd}

\chapter{Milli Volt Amp with Safety Resistor}
\input{millivoltamp/millivoltamp}

\chapter{A detailed look at the safety systems required by industrial burner controller}
\input{burner/burner}

%\chapter{FMMD tool : Algorithms and Euler Diagram Parsing}

%\paragraph{bibliography}
%\small
\bibliographystyle{plain}
\bibliography{vmgbibliography,mybib}
%\normalsize

\end{document}
