\begin{thebibliography}{10}

\bibitem{Alexander:77}
Christopher Alexander, Sara Ishikawa, Murray Silverstein, Max Jacobson, Ingrid
  Fiksdahl-King, and Shlomo Angel.
\newblock {\em {A Pattern Language}}.
\newblock Oxford University Press, New York, NY, 1977.

\bibitem{Bohacek:03}
S.~Bohacek, J.P. Hespanha, J.~Lee, and K.~Obraczka.
\newblock A hybrid systems modeling framework for fast and accurate simulation
  of data communication networks.
\newblock In {\em Proceedings of ACM SIGMETRICS '03}, June 2003.

\bibitem{Weiss:98}
James Coplien, Daniel Hoffman, and David Weiss.
\newblock {Commonality and Variability in Software Engineering}.
\newblock {\em IEEE Software}, 15(6), November/December 1998.

\bibitem{Czarnecki:00}
Krzysztof Czarnecki and Ulrich Eisenecker.
\newblock {\em Generative Programming: Methods, Tools, and Applications}.
\newblock Addison-Wesley, Boston, 2000.

\bibitem{AOSD:04}
Robert Filman, Tzilla Elrad, Mehmet Aksit, and Siobhan Clarke.
\newblock {\em Aspect-Oriented Software Development}.
\newblock Addison-Wesley, Reading, Massachusetts, 2004.

\bibitem{Vlissides:94}
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
\newblock {\em {Design Patterns: Elements of Reusable Object-Oriented
  Software}}.
\newblock Addison-Wesley, Reading, MA, 1995.

\bibitem{Greenfield:04}
Jack Greenfield, Keith Short, Steve Cook, and Stuart Kent.
\newblock {\em Software Factories: Assembling Applications with Patterns,
  Models, Frameworks, and Tools}.
\newblock John Wiley \& Sons, New York, 2004.

\bibitem{Henzinger:98}
T.~A. Henzinger and S.~Sastry, editors.
\newblock {\em Hybrid Systems: Computation and Control - Lecture Notes in
  Computer Science}.
\newblock Springer Verlag, New York, NY, 1998.

\bibitem{spnp-new}
C.~Hirel, B.~Tuffin, and K.~S. Trivedi.
\newblock ``{SPNP}: {Stochastic} {Petri} {Nets}. {Version} 6.0''.
\newblock {\em Lecture Notes in Computer Science 1786}, 2000.

\bibitem{Janos:03}
Gabor Karsai, Janos Sztipanovits, Akos Ledeczi, and Ted Bapty.
\newblock {Model-Integrated Development of Embedded Software}.
\newblock {\em Proceedings of the IEEE}, 91(1):145--164, January 2003.

\bibitem{MDA:01}
{Object Management Group}.
\newblock {\em {Model Driven Architecture (MDA)}}, {OMG Document
  ormsc/2001-07-01} edition, July 2001.

\bibitem{evol-spn}
A.~Puliafito, M.~Telek, and K.~S. Trivedi.
\newblock ``{The} evolution of stochastic {Petri} nets''.
\newblock In {\em Proc. of World Congress on Systems Simulation}, pages 3--15,
  Singapore, September 1997.

\bibitem{Schmidt:01o}
Richard~E. Schantz and Douglas~C. Schmidt.
\newblock {Middleware for Distributed Systems: Evolving the Common Structure
  for Network-centric Applications}.
\newblock In John Marciniak and George Telecki, editors, {\em Encyclopedia of
  Software Engineering}. Wiley \& Sons, New York, 2002.

\bibitem{Schmidt:00a}
Douglas~C. Schmidt, Michael Stal, Hans Rohnert, and Frank Buschmann.
\newblock {\em {Pattern-Oriented Software Architecture: Patterns for Concurrent
  and Networked Objects, Volume 2}}.
\newblock Wiley \& Sons, New York, 2000.

\bibitem{Janos:97}
Janos Sztipanovits and Gabor Karsai.
\newblock {Model-Integrated Computing}.
\newblock {\em IEEE Computer}, 30(4):110--112, April 1997.

\end{thebibliography}
