\begin{thebibliography}{10}
\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{Janos:97}
J.~Sztipanovits and G.~Karsai, ``{Model-Integrated Computing},'' \emph{IEEE
  Computer}, vol.~30, no.~4, pp. 110--112, Apr. 1997.

\bibitem{GME:01}
A.~Ledeczi, A.~Bakay, M.~Maroti, P.~Volgysei, G.~Nordstrom, J.~Sprinkle, and
  G.~Karsai, ``{Composing Domain-Specific Design Environments},'' \emph{IEEE
  Computer}, pp. 44--51, Nov. 2001.

\bibitem{Frankel:03}
D.~Frankel, \emph{{Model Driven Architecture: Applying MDA to Enterprise
  Computing}}.\hskip 1em plus 0.5em minus 0.4em\relax Indianapolis, IN: John
  Wiley and Sons, 2003.

\bibitem{Janos:03}
G.~Karsai, J.~Sztipanovits, A.~Ledeczi, and T.~Bapty, ``Model-integrated
  development of embedded software,'' \emph{Proceedings of the IEEE}, vol.~91,
  no.~1, pp. 145--164, Jan. 2003.

\bibitem{OCL:03}
\emph{{Unified Modeling Language: OCL version 2.0 Final Adopted
  Specification}}, {OMG Document ptc/03-10-14}~ed., {Object Management Group},
  Oct. 2003.

\bibitem{Schmidt:05y}
G.~Deng, J.~Balasubramanian, W.~Otte, D.~C. Schmidt, and A.~Gokhale, ``{DAnCE:
  A QoS-enabled Component Deployment and Conguration Engine},'' in
  \emph{Proceedings of the 3rd Working Conference on Component Deployment},
  Grenoble, France, Nov. 2005.

\bibitem{DandC:03}
\emph{{Deployment and Configuration Adopted Submission}}, {OMG Document
  ptc/03-07-08}~ed., {Object Management Group}, July 2003.

\bibitem{OSEK}
{OSEK}, ``{Open systems and the corresponding interfaces for automotive
  electronics},'' \url{http://www.osek-vdx.org/}.

\bibitem{Hatcliff:03}
J.~Hatcliff, W.~Deng, M.~Dwyer, G.~Jung, and V.~Prasad, ``{Cadena: An
  Integrated Development, Analysis, and Verification Environment for
  Component-based Systems},'' in \emph{Proceedings of the 25th International
  Conference on Software Engineering}, Portland, OR, May 2003.

\bibitem{KC:04}
K.~Carter, ``{Kennedy Carter iUML 2.2},'' \url{www.kc.com}, 2004.

\bibitem{EMF:03}
F.~Budinsky, D.~Steinberg, E.~Merks, R.~Ellersick, and T.~J. Grose,
  \emph{Eclipse Modeling Framework}.\hskip 1em plus 0.5em minus 0.4em\relax
  Reading, MA: Addison-Wesley, 2003.

\bibitem{MOF:03}
\emph{{MetaObject Facility (MOF) 2.0 Core Specification}}, {OMG Document
  ptc/03-10-04}~ed., {Object Management Group}, Oct. 2003.

\bibitem{Greenfield:04}
J.~Greenfield, K.~Short, S.~Cook, and S.~Kent, \emph{Software Factories:
  Assembling Applications with Patterns, Models, Frameworks, and Tools}.\hskip
  1em plus 0.5em minus 0.4em\relax New York: John Wiley \& Sons, 2004.

\end{thebibliography}
