\begin{thebibliography}{10}

\bibitem{bonda98}
A.~Bondavalli, I.~Mura, and I.~Majzik.
\newblock {Automated dependability analysis of {UML} designs}.
\newblock In {\em Proc. of Second IEEE International Symposium on
  Object-Oriented Real-Time Distributed Computing}, 1998.

\bibitem{mrspn}
H.~Choi, V.~Kulkarni, and K.~S. Trivedi.
\newblock ``{Markov} {Regenerative} {Stochastic} {Petri} {Net}''.
\newblock {\em Performance Evaluation}, 20(1--3):337--357, 1994.

\bibitem{Globus:97}
I.~Foster and C.~Kesselman.
\newblock Globus: A metacomputing infrastructure toolkit.
\newblock {\em International Journal of Supercomputer Applications},
  11(2):115--128, 1997.

\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{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}, Portland, OR, May 2003.

\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{hoeben00}
F.~Hoeben.
\newblock ``{Using} {UML} models for performance calculation''.
\newblock In {\em Proc. of Workshop on Software and Performance}, 2000.

\bibitem{fspn-1}
G.~Horton, V.~Kulkarni, D.~Nicol, and K.~S. Trivedi.
\newblock ``{Fluid} stochastic {Petri} nets: {Theory}, application and solution
  techniques''.
\newblock {\em Journal of Operations Research}, 405, 1998.

\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{king99}
P.~King and R.~Pooley.
\newblock ``{Derivation} of {Petri} net performance models from {UML}
  specifications of communication software''.
\newblock In {\em Proc. of XV Performance Engineering Workshop}, 1997.

\bibitem{menasce98}
D.~A. Menasce and H.~A. Gomaa.
\newblock ``{On} a language based method for software performance engineering
  of client/server systems''.
\newblock In {\em Proc. of Workshop on Software and Performance}, 1998.

\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{peterson81}
J.~L. Peterson.
\newblock {\em Petri Net Theory and the Modeling of Systems}.
\newblock Prentice-Hall, 1981.

\bibitem{petriu00}
D.~Petriu, C.~Shousha, and A.~Jalnapurkar.
\newblock ``{Architecture}--based performance analysis applied to a
  telecommunication system''.
\newblock {\em IEEE Trans. on Software Engineering}, November 2000.

\bibitem{pooley99}
R.~Pooley and P.~King.
\newblock ``{The} unified modeling language and performance engineering''.
\newblock {\em IEEE Software}, 1999.

\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{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{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 Proceedings of the IEEE Real-time Applications Symposium},
  Washington, DC, May 2003. IEEE.

\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.

\bibitem{NS-2}
{The VINT Project}.
\newblock {Network Simulator - NS-2}.
\newblock \url{http://www.isi.edu/nsnam/ns}.

\bibitem{williams98}
L.~G. Williams and C.~U. Smith.
\newblock ``{Performance} evaluation of software architectures''.
\newblock In {\em Proc. of the Workshop on Software and Performance}, Santa Fe,
  NM, 1998.

\end{thebibliography}
