% $Id: isas07.tex 5107 2007-01-07 20:28:40Z gokhale $

%\documentclass[times,10pt,twocolumn]{article} 
\documentclass[11pt]{article} 
%\documentclass{llncs} 
\usepackage[T1]{fontenc}
\usepackage{latex8}
\usepackage{ae,aecompl}
% \usepackage[scaled]{helvet}
% \usepackage{courier}
\usepackage{ifpdf}
\usepackage{setspace}
\usepackage{url}
\usepackage{cite}
% Load float before wrapfig
\usepackage{float}
\usepackage{wrapfig}
\usepackage{relsize,fancyvrb}
\usepackage{tabulary}
\usepackage{multicol}
\setlength\tymin{30pt}
\setlength\tymax{\linewidth}
\usepackage[font={bf,sf}]{caption}

\ifpdf
\usepackage[pdftex]{graphicx}
\graphicspath{{pdf/}}
\usepackage[pdftex,colorlinks,backref,bookmarks]{hyperref}
\else
\usepackage{graphicx}
\graphicspath{{eps/}}
\usepackage[hypertex,bookmarks,breaklinks=true,colorlinks=false]{hyperref}
\fi

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%% Side By Side Macro   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\long\def\sidebyside#1#2{%
\hbox to\textwidth{\vtop{\hsize=.5\textwidth%
\advance\hsize by -.5\columnsep
\parindent=0pt
\centering

#1\vskip1sp}\hskip\columnsep\vtop{\hsize=.5\textwidth%
\advance\hsize by -.5\columnsep
\parindent=0pt
\centering
#2

}\hfill}}


%% To get nice lists that will not need too much space.
%%
\newenvironment{BulletList}
{\begin{list}
{$\bullet$}
{\setlength{\topsep}{1pt}
\setlength{\parsep}{0pt}
\setlength{\itemsep}{1pt}
\setlength{\parskip}{1pt}}}
{\end{list}
\vspace{0pt}
}

%% To get nice enum lists that will not need too much space.
%%
\newcounter{num}
\newenvironment{NumList}
{\begin{list}
{\arabic{num}. }
{\usecounter{num}
\setlength{\topsep}{2pt}
\setlength{\parsep}{0pt}
\setlength{\itemsep}{2pt}
\setlength{\parskip}{2pt}}}
{\end{list}
\vspace{2pt}
}

\newfloat{Listing}{!htbp}{los}
%\floatname{BIRExtensions}{Listing}

\begin{document}

\title{MDDPro: Model-Driven Dependability Provisioning in Enterprise
  Distributed Real-time and Embedded Systems\thanks{This work is
    supported in part or whole by subcontracts from LMCO ATL and BBN
    for the DARPA Adaptive and Reflective Middleware Systems Program}
}

\author{
\textbf{Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha Gokhale}\\
Vanderbilt University, Nashville, TN, USA \\
\{sutambe,jai,gokhale\}@dre.vanderbiltl.edu
\and
\textbf{Thomas Damiano}\\
%MITRE Corporation \\
Independent Consultant \\
tdamiano@ieee.org}

\iffalse
\author{
\begin{tabular}{cc}
{\bf Sumant Tambe, Jaiganesh Balasubramanian} & {\bf Tom
  Damiano}\thanks{Work done while at Lockheed Martin ATL}\\
{\bf Aniruddha Gokhale} & \\
Vanderbilt University, EECS Dept & MITRE Corporation \\
Nashville, TN, USA & \\
\multicolumn{1}{c}{Contact author: sutambe@dre.vanderbilt.edu}
\end{tabular}
}
\fi

\iffalse
% We will need this format eventually if the paper gets accepted.
\author{Sumant Tambe\inst{1} \and Jaiganesh Balasubramanian\inst{1}
  \and Aniruddha Gokhale\inst{1} \and Thomas Damiano\inst{2}}

\institute{Vanderbilt University, Nashville, TN, USA\\
Email: \{sutambe,jai,gokhale\}@dre.vanderbilt.edu
\and
MITRE}
\fi

%\begin{singlespace}
\maketitle

% abstract and keywords
\input{abstract}

%\end{singlespace}

% they want title, affiliations and abstract (150 words) on the first
% page.

\newpage
% everything else is double space per the submission guidelines.
\doublespacing

% Intro
\input{intro}

\input{challenges}

\input{solution}

\input{relwork}

\input{conclusions}

% I kept the bibliography also single space
\begin{singlespace}
\bibliographystyle{latex8}
\bibliography{networks}
\end{singlespace}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
