
\documentclass[a4paper,10pt]{article}
\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{tikz}
\usetikzlibrary{shapes.gates.logic.US,trees,positioning,arrows}
\usepackage{amsfonts,amsmath,amsthm}
\usepackage{ifthen}
\newboolean{paper}
\setboolean{paper}{true} % boolvar=true or false

%\input{../style}

%\newtheorem{definition}{Definition:}

\begin{document}
\pagestyle{fancy}
\fancyhf{}
%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}}
\fancyhead[LO]{}
\fancyhead[RE]{\leftmark}
%\fancyfoot[LE,RO]{\thepage}
\cfoot{Page \thepage\ of \pageref{LastPage}}
\rfoot{\today}
\lhead{A survey of failure mode analysis methodologies for safety critical systems}
%\outerhead{{\small\bf Survey of Safety Critical Static Analysis Methods}}         
%\innerfoot{{\small\bf R.P. Clark } }   
                                              % numbers at outer edges
\pagenumbering{arabic}                        % Arabic page numbers hereafter
\author{R.P.Clark}
\title{Survey of Safety Critical Static Analysis Methods}
\maketitle 
\input{survey_paper}

\bibliographystyle{plain}
\bibliography{vmgbibliography,mybib}

\today
\end{document}
