\begin{thebibliography}{10}

\bibitem{Alexander:77}
C.~Alexander, S.~Ishikawa, M.~Silverstein, M.~Jacobson, I.~Fiksdahl-King, and
  S.~Angel.
\newblock {\em {A Pattern Language}}.
\newblock Oxford University Press, New York, NY, 1977.

\bibitem{Vlissides:94}
E.~Gamma, R.~Helm, R.~Johnson, and J.~Vlissides.
\newblock {\em {Design Patterns: Elements of Reusable Object-Oriented
  Software}}.
\newblock Addison-Wesley, Reading, MA, 1995.

\bibitem{srn-mrm}
B.~R. Haverkort and K.~S. Trivedi.
\newblock ``{Specification} and generation of {Markov} {reward} models''.
\newblock {\em Discrete--Event Dynamic Systems: Theory and Applications},
  3:219--247, 1993.

\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{avail-vax}
O.~Ibe, A.~Sathaye, R.~Howe, and K.~S. Trivedi.
\newblock ``{Stochastic} {Petri} net modeling of {VAXCluster} availability''.
\newblock In {\em Proc. of Third International Workshop on Petri Nets and
  Performance Models}, pages 142--151, Kyoto, Japan, 1989.

\bibitem{poll-perf}
O.~Ibe and K.~S. Trivedi.
\newblock ``{Stochastic} {Petri} net models of polling systems''.
\newblock {\em IEEE Journal on Selected Areas in Communications},
  8(9):1649--1657, December 1990.

\bibitem{queue-perf}
O.~Ibe and K.~S. Trivedi.
\newblock ``{Stochastic} {Petri} net analysis of finite--population queueing
  systems''.
\newblock {\em Queueing Systems: Theory and Applications}, 8(2):111--128, 1991.

\bibitem{Janos:03}
G.~Karsai, J.~Sztipanovits, A.~Ledeczi, and T.~Bapty.
\newblock {Model-Integrated Development of Embedded Software}.
\newblock {\em Proceedings of the IEEE}, 91(1):145--164, Jan. 2003.

\bibitem{rel-srn}
J.~Muppala, G.~Ciardo, and K.~S. Trivedi.
\newblock ``{Stochastic} {reward} nets for reliability prediction''.
\newblock {\em Communications in Reliability, Maintainability and
  Serviceability: An International Journal Published by SAE Internationa},
  1(2):9--20, July 1994.

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

\bibitem{peterson81}
J.~L. Peterson.
\newblock {\em Petri Net Theory and the Modeling of Systems}.
\newblock Prentice-Hall, 1981.

\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{corba-perf}
S.~Ramani, K.~S. Trivedi, and B.~Dasarathy.
\newblock ``{Performance} analysis of the {CORBA} event service using
  stochastic reward nets''.
\newblock In {\em Proc. of the 19th IEEE Symposium on Reliable Distributed
  Systems}, pages 238--247, October 2000.

\bibitem{sahner}
R.~A. Sahner, K.~S. Trivedi, and A.~Puliafito.
\newblock {\em Performance and Reliability Analysis of Computer Systems: An
  Example-Based Approach Using the SHARPE Software Package}.
\newblock Kluwer Academic Publishers, Boston, 1996.

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

\bibitem{Schmidt:02a}
D.~C. Schmidt and S.~D. Huston.
\newblock {\em C++ Network Programming, Volume 2: Systematic Reuse with ACE and
  Frameworks}.
\newblock Addison-Wesley, Reading, Massachusetts, 2002.

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

\bibitem{man-perf}
H.~Sun, X.~Zang, and K.~S. Trivedi.
\newblock ``{A} stochastic reward net model for performance analysis of
  prioritized {DQDB} {MAN}''.
\newblock {\em Computer Communications, Elsevier Science}, 22(9):858--870, June
  1999.

\end{thebibliography}
