Morning edit

fmmdset/fmmdset.tex

@@ -163,7 +163,7 @@ and let the set of all possible failure modes be $\mathcal{F}$.
 We can define a function $fm$
 
 \begin{equation}
-fm : \mathcal{C} \mapsto \mathcal{P}\mathcal{F}
+fm : \mathcal{C} \rightarrow \mathcal{P}\mathcal{F}
 \end{equation}
 
 defined by, where C is a component and F is a set of failure modes.

mybib.bib

@@ -5,6 +5,12 @@
 
 % $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $
 
+@ARTICLE{caninauto,
+  AUTHOR =       "H. Zeltwanger",
+  TITLE =        "Single Processor implementation of the CANopen Safety Protocol",
+  JOURNAL =      "CAN in Automation (CiA)",
+  YEAR =         "2008"
+}
 
 @ARTICLE{valueoflife,
   AUTHOR =       "W.K. Viscusi",

statistics/statistics.tex

@@ -48,7 +48,7 @@ For the Brewery, safety is of the highest importance.
 For the Nuclear power station
 
 
-\section{Terms and Concepts in // Safety Critical Engineering}
+\section{Terms and Concepts in \\ Safety Critical Engineering}
 
 \subsection{Safety Relevant Data Object}
 A Safety Relevant Data Object (SRDO)\cite{caninauto}, is a data structure describing the status of
@@ -58,8 +58,8 @@ the measure neutron flux.
 \subsection{Safety relevant Object Validation Time}
 Safety times can be given for SRDO's; these are termed Safety Related Object Validation Times (SROVT's)\cite{caninauto}. For instance were
 a flame to fail in operation in a gas burner
-standards state that the gas may not continue to be fed into the
-furnace for more than three seconds \cite{en298}.
+standards state \cite{en298} that the gas may not continue to be fed into the
+furnace for more than three seconds.
 We can say that the SROVT for a flame signal in a gas burner is 3 seconds.
 \subsection{Single and Double Failure Modes}
 A Safety critical system must self check within the relevant SROVT's.