\begin{thebibliography}{1}
\providecommand{\url}[1]{#1}
\csname url@rmstyle\endcsname
\providecommand{\newblock}{\relax}
\providecommand{\bibinfo}[2]{#2}
\providecommand\BIBentrySTDinterwordspacing{\spaceskip=0pt\relax}
\providecommand\BIBentryALTinterwordstretchfactor{4}
\providecommand\BIBentryALTinterwordspacing{\spaceskip=\fontdimen2\font plus
\BIBentryALTinterwordstretchfactor\fontdimen3\font minus
  \fontdimen4\font\relax}
\providecommand\BIBforeignlanguage[2]{{%
\expandafter\ifx\csname l@#1\endcsname\relax
\typeout{** WARNING: IEEEtran.bst: No hyphenation pattern has been}%
\typeout{** loaded for the language `#1'. Using the pattern for}%
\typeout{** the default language instead.}%
\else
\language=\csname l@#1\endcsname
\fi
#2}}

\bibitem{paulk95}
M.~Paulk, C.~Weber, B.~Curtis, and M.~Chriss, \emph{The Capability Maturity
  Model: Guidelines for Improving the Software Process}.\hskip 1em plus 0.5em
  minus 0.4em\relax Addison-Wesley, 1995.

\bibitem{me01e}
T.~Menzies and J.~Kiper, ``Better reasoning about software engineering
  activities,'' in \emph{ASE-2001}, 2001, available from
  \url{http://menzies.us/pdf/01ase.pdf}.

\bibitem{leveson91}
N.~Leveson, S.~Cha, and T.~Shimall, ``Safety verification of {ADA} programs
  using software fault trees,'' \emph{IEEE Software}, vol.~8, no.~7, pp.
  48--59, July 1991.

\end{thebibliography}
