\documentclass[a4paper,10pt]{article}
\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{tikz}
\usepackage{amsfonts,amsmath}

\usepackage{ifthen}
\newboolean{paper}
\setboolean{paper}{true} % boolvar=true or false

\input{../style}

\begin{document}
\pagestyle{fancy}

%\outerhead{{\small\bf Propositional Logic Diagram}}         
%\innerfoot{{\small\bf R.P. Clark } }   
                                              % numbers at outer edges
\pagenumbering{arabic}                        % Arabic page numbers hereafter
\author{R.P.Clark}
\title{Failure Mode Modular de-Composition of Software}
\maketitle 
%
% to make the stand alone paper the processed version is required.
\input{sw_model_p}

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

%\begin{verbatim}
%$Id: paper.tex,v 1.1 2009/06/05 18:35:31 robin Exp $
%\end{verbatim}

\end{document}