%%% $Id: doa04_cosmic_cadena.tex,v 1.26 2005/01/05 04:42:58 gokhale Exp $

\documentclass{svmult}

% include packages
\usepackage{makeidx}         % allows index generation
\usepackage{graphicx}        % standard LaTeX graphics tool
                             % when including figure files
\usepackage{multicol}        % used for the two-column index
\usepackage[bottom]{footmisc}% places footnotes at page bottom
% etc.
% see the list of further useful packages
% in the Reference Guide, Sects. 2.3, 3.1-3.3
\usepackage{times}
\usepackage{url}
\usepackage{color}
\input sidebar
\input macros
\input ksu-macros

\makeindex             % used for the subject index
                       % please use the style sprmidx.sty with
                       % your makeindex program


\begin{document}

\title*{
An Integrated Model-driven Development Environment for 
Composing and Validating Distributed Real-time and Embedded
Systems\thanks{This work was sponsored in part by NSF ITR
\#CCR-0325274, NSF ITR \#CCR-0312859, DARPA/AFRL \#F33615-03-C-4112,
and Lockheed Martin.} } 

\author{ Gabriele Trombetti\inst{1}, Aniruddha Gokhale\inst{1}, Douglas
C. Schmidt\inst{1} 
\and \\
John Hatcliff \inst{2}, Jesse Greenwald\inst{2}, Gurdip Singh\inst{2}}

\institute{Vanderbilt University, Nashville, TN 37235, USA
\texttt{\{gabtromb,gokhale,schmidt\}@dre.vanderbilt.edu}
\and
Kansas State University, Manhattan, KS 66506, USA
\texttt{\{hatcliff,jesse,singh\}@cis.ksu.edu}}
\date{}

%% shortened forms
\titlerunning{MDD Environment for DRE Systems}
\authorrunning{Gabriele Trombetti et. al.}
\maketitle

\input{abstract}
\input{intro}
\input{overview}
\input{approach}
\input{casestudy}
\input{relwork}
\input{conclusions}

\section*{Acknowledgments}
The authors would like to acknowledge our collaborators Sylvester
Fernandez, Dave Bailey, Chris Andrews, Bob Parkhill, and Theckla
Louchios from Lockheed Martin, Eagan and Dallas for their help with
the CoSMIC$\leftrightarrow$Cadena integration.

{\footnotesize 
\raggedright 
\ls{0.8} 
\bibliographystyle{IEEEbib}
%\bibliography{networks,components,quo,ksu} 
\bibliography{vu,ksu} 
}

\printindex
\end{document}
