%\documentstyle[fullpage,11pt]{article}
%
% New: comment out documentstyle line
%
\documentclass[11pt]{article} 
\usepackage{fullpage}
\usepackage[pagewise]{lineno}
\usepackage{epsfig}
%
% End_New:
%
\newenvironment{usecase}{\begin{center}\begin{minipage}[t]{5in}}{\end{minipage}\end{center}} 
\begin{document}
\include{epsf}
\thispagestyle{empty}
\title{{\LARGE\bf Requirements Analysis Document} \\ {\bf\Large (Final Version)}}
\author{{\Large\it Authors} \\
\vspace*{2.5in} 
\mbox{} \\
{\Large Title of Project} \\
{\large Name of Group}
\vspace*{2.5in} 
\mbox{} \\
\date{\today}
}
\maketitle
%
% New:
%
\linenumbers
%
% End_New:
%
\clearpage
\tableofcontents
\clearpage
\bibliographystyle{plain}
%***************************************************************************
%
% Format of template: Comments appear BEFORE the section header
%
%***************************************************************************

\input{introduction}
\input{overview}
\input{requirements}
\input{uml-analysis}
%
%***********************************
%
\input{promela-specs}
% 
%***********************************
%
%***********************************
% begin New 
\input{spin-analysis}
% end New 
%***********************************
%
% The final section contains the sources of any and all references to other
% group documents, articles, books, etc.  that you used in creating this
% document.  You need to have created the file analysis.bib with
% entries for all of your sources.
%
\bibliography{analysis} % analysis.bib is the bibliography file name
\end{document}