\begin{thebibliography}{10}

\bibitem{TIMES:03}
T.~Amnell, E.~Fersman, L.~Mokrushin, P.~Pettersson, and W.~Yi.
\newblock {TIMES: A Tool for Schedulability Analysis and Code Generation of
  Real-Time Systems}.
\newblock In K.~G. Larsen and P.~Niebert, editors, {\em Formal Modeling and
  Analysis of Timed Systems: First International Workshop, {FORMATS} 2003,
  Marseille, France, September 6-7, 2003. Revised Papers}, volume 2791 of {\em
  Lecture Notes in Computer Science}, pages 60--72. Springer, 2003.

\bibitem{Schmidt:04z}
K.~Balasubramanian, J.~Balasubramanian, J.~Parsons, A.~Gokhale, and D.~C.
  Schmidt.
\newblock {A Platform-Independent Component Modeling Language for Distributed
  Real-Time and Embedded Systems}.
\newblock In {\em RTAS '05: Proceedings of the 11th IEEE Real Time on Embedded
  Technology and Applications Symposium}, pages 190--199, Washington, DC, USA,
  2005. IEEE Computer Society.

\bibitem{Blair:01a}
L.~Blair, G.~S. Blair, A.~Anderson, and T.~Jones.
\newblock {Formal Support For Dynamic QoS Management in the Development of Open
  Component-based Distributed Systems}.
\newblock {\em IEEE Software}, 148(3), Nov. 2001.

\bibitem{Czarnecki:06}
K.~Czarnecki and S.~Helsen.
\newblock {Feature-based Survey of Model Transformation Approaches}.
\newblock {\em IBM Syst. J.}, 45(3):621--645, 2006.

\bibitem{Schmidt:06r}
G.~Deng, C.~Gill, D.~C. Schmidt, and N.~Wang.
\newblock {QoS-enabled Component Middleware for Distributed Real-Time and
  Embedded Systems}.
\newblock In I.~Lee, J.~Leung, and S.~Son, editors, {\em Handbook of Real-Time
  and Embedded Systems}. CRC Press, 2007.

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

\bibitem{Kruger:05}
{Jaswinder Ahluwalia and Ingolf H. Krüger and Walter Phillips and Michael
  Meisinger}.
\newblock {Model-Based Run-Time Monitoring of End-to-End Deadlines}.
\newblock In {\em Proceedings of the Fifth ACM International Conference On
  Embedded Software}, pages 100--109, Jersey City, NJ, Sept. 2005. ACM.

\bibitem{Karsai:03}
G.~Karsai, A.~Agrawal, F.~Shi, and J.~Sprinkle.
\newblock {On the Use of Graph Transformation in the Formal Specification of
  Model Interpreters}.
\newblock {\em Journal of Universal Computer Science}, 9(11):1296--1321, 2003.
\newblock \url{www.jucs.org/jucs_9_11/on_the_use_of}.

\bibitem{Schmidt:06x}
A.~Kavimandan, K.~Balasubramanian, N.~Shankaran, A.~Gokhale, and D.~C. Schmidt.
\newblock Quicker: A model-driven qos mapping tool for qos-enabled component
  middleware.
\newblock In {\em ISORC '07: Proceedings of the 10th IEEE International
  Symposium on Object and Component-Oriented Real-Time Distributed Computing},
  pages 62--70, Washington, DC, USA, 2007. IEEE Computer Society.

\bibitem{Gokhale_GTQMAP_RTAS:08}
A.~Kavimandan and A.~Gokhale.
\newblock {Automated Middleware QoS Configuration Techniques using Model
  Transformations}.
\newblock In {\em Proceedings of the $14^{th}$ IEEE Real-Time and Embedded
  Technology and Applications Symposium (RTAS 2008)}, pages 93--102, St. Louis,
  MO, USA, Apr. 2008.

\bibitem{MDABook:03}
A.~Kleppe, J.~Warmer, and W.~Bast.
\newblock {\em MDA Explained: The Model Driven Architecture$(MDA^{TM})$:
  Practice and Promise}.
\newblock Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, Apr
  2003.

\bibitem{AIRES:03}
S.~Kodase, S.~Wang, Z.~Gu, and K.~G. Shin.
\newblock {Improving Scalability of Task Allocation and Scheduling in Large
  Distributed Real-time Systems using Shared Buffers}.
\newblock In {\em {Proceedings of the 9th Real-time/Embedded Technology and
  Applications Symposium (RTAS 2003)}}, Washington, DC, May 2003. IEEE.

\bibitem{Schmidt:04y}
A.~S. Krishna, E.~Turkay, A.~Gokhale, and D.~C. Schmidt.
\newblock {Model-Driven Techniques for Evaluating the QoS of Middleware
  Configurations for DRE Systems}.
\newblock In {\em Proceedings of the 11th Real-time Technology and Application
  Symposium (RTAS '05)}, pages 180--189, San Francisco, CA, Mar. 2005. IEEE.

\bibitem{Schmidt:06l}
P.~Lardieri, J.~Balasubramanian, D.~C. Schmidt, G.~Thaker, A.~Gokhale, and
  T.~Damiano.
\newblock {A Multi-layered Resource Management Framework for Dynamic Resource
  Management in Enterprise DRE Systems}.
\newblock {\em Journal of Systems and Software: Special Issue on Dynamic
  Resource Management in Distributed Real-time Systems}, 80(7):984--996, July
  2007.

\bibitem{GME:01}
{\'A}.~L\'{e}deczi, {\'A}.~Bakay, M.~Mar{\'o}ti, P.~V{\"o}lgyesi, G.~Nordstrom,
  J.~Sprinkle, and G.~Karsai.
\newblock {Composing Domain-Specific Design Environments}.
\newblock {\em Computer}, 34(11):44--51, 2001.

\bibitem{WhenHow_DSL_Mernik:05}
M.~Mernik, J.~Heering, and A.~M. Sloane.
\newblock {When and How to Develop Domain-specific Languages}.
\newblock {\em ACM Computing Surveys}, 37(4):316--344, 2005.

\bibitem{Karsai_ENTCS:08}
A.~Narayanan and G.~Karsai.
\newblock Towards verifying model transformations.
\newblock {\em Electronic Notes on Theoretical Computer Science}, 211:191--200,
  2008.

\bibitem{Karsai_ECEASST:08}
A.~Narayanan and G.~Karsai.
\newblock Verifying model transformations by structural correspondence.
\newblock {\em Electronic Communications of the EASST}, 10, 2008.

\bibitem{Neema:02a}
S.~Neema, T.~Bapty, J.~Gray, and A.~Gokhale.
\newblock {Generators for Synthesis of QoS Adaptation in Distributed Real-time
  Embedded Systems}.
\newblock In {\em Proceedings of the ACM SIGPLAN/SIGSOFT Conference on
  Generative Programming and Component Engineering (GPCE'02)}, pages 236--251,
  Pittsburgh, PA, Oct. 2002.

\bibitem{LWCCM}
{Object Management Group}.
\newblock {\em {Lightweight CCM RFP}}, {realtime/02-11-27} edition, Nov. 2002.

\bibitem{RTCORBA:05}
{Object Management Group}.
\newblock {\em {Real-time CORBA Specification}}, {1.2} edition, Jan. 2005.

\bibitem{Ritter:03}
T.~Ritter, M.~Born, T.~Untersch\"{u}tz, and T.~Weis.
\newblock {A QoS Metamodel and its Realization in a CORBA Component
  Infrastructure}.
\newblock In {\em {Proceedings of the $36^{th}$ Hawaii International Conference
  on System Sciences (HICSS'03)}}, page 318, Honolulu, HI, Jan. 2003.

\bibitem{Bogor:03}
Robby, M.~Dwyer, and J.~Hatcliff.
\newblock {Bogor: An Extensible and Highly-Modular Model Checking Framework}.
\newblock In {\em Proceedings of the $4^{th}$ Joint Meeting of the European
  Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations
  of Software Engineering (ESEC/FSE 2003)}, Helsinki, Finland, September 2003.
  ACM.

\bibitem{Schmidt:06w}
N.~Shankaran, D.~C. Schmidt, Y.~Chen, X.~Koutsoukous, and C.~Lu.
\newblock {The Design and Performance of Configurable Component Middleware for
  End-to-End Adaptation of Distributed Real-time Embedded Systems}.
\newblock In {\em Proc. of the 10th IEEE International Symposium on
  Object/Component/Service-oriented Real-time Distributed Computing (ISORC
  2007)}, Santorini Island, Greece, May 2007.

\bibitem{Sharp:98}
D.~C. Sharp.
\newblock {Reducing Avionics Software Cost Through Component Based Product Line
  Development}.
\newblock In {\em Software Product Lines: Experience and Research Directions},
  volume 576, pages 353--370, Aug 2000.

\bibitem{VEST:03}
J.~A. Stankovic, R.~Zhu, R.~Poornalingam, C.~Lu, Z.~Yu, M.~Humphrey, and
  B.~Ellis.
\newblock {VEST: An Aspect-Based Composition Tool for Real-Time Systems}.
\newblock In {\em RTAS '03: Proceedings of the The 9th IEEE Real-Time and
  Embedded Technology and Applications Symposium}, pages 58--69, Toronto,
  Canada, 2003. IEEE Computer Society.

\bibitem{Gorton:07}
L.~Zhu, N.~B. Bui, Y.~Liu, and I.~Gorton.
\newblock {MDABench: Customized benchmark generation using MDA}.
\newblock {\em Journal of Systems and Software}, 80(2):265--282, Feb. 2007.

\bibitem{Quo:97}
J.~A. Zinky, D.~E. Bakken, and R.~Schantz.
\newblock {Architectural Support for Quality of Service for CORBA Objects}.
\newblock {\em Theory and Practice of Object Systems}, 3(1):1--20, 1997.

\end{thebibliography}
