[1] A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, "Model
Checking Continuous Time Markov Chains", *ACM Trans. on Comp. Logic*,
1(1), p. 162-170, 2000.

[2] E.C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen, and,
"Model Checking continuous - time Markov Chains by transient analysis," In
Proc.In *CAV 2000, Springer LNCS 1855, pages 358-372*, 2000.

[3] M. Ben Mamoun, A. Busic, J. M. Fourneau, N. Pekergin, "Increasing
convex monotone Markov chains, Theory, algorithms and applications", In *
Markov Anniversary Meeting*, Charleston juin 2006.

[4] M. Ben Mamoun, N. Pekergin and S. Youn`es, "Model Checking
of Continuous- Time Markov Chains by Closed-Form Bounding Distributions". In
Proceedings of *The Third International Conference on Quantitative
Evaluation of Systems *(QEST 2006) to be held 11-14 September 2006 in
Riverside, California.

[5] A. Bianco and L. de Alfaro, "Model checking of
probabilistic and non deterministic systems". In P. Thiagarajan, editor, *
Proc. 15th Conference on Foundations of Software Technology and
Theoretical Computer Science, volume 1026 of LNCS, pages 499-513. Springer,
1995.*

[6] J.G. dai *On the positive Harris recurrence for
multiclass queueing networks : A unified approach vai fluid limit models *
Annals of Applied Probability, 5, pp 49-77, 1995.

[7] T. Dayar, J.M. Fourneau, N. Pekergin, J. M. Vincent, "Polynomials
of a stochastic matrix and strong stochastic bounds", In *Markov Anniversary
Meeting*, Charleston juin 2006.

[8] J. G. Dopper, B. Gaujal, J.M. Vincent, "Bounds for the
coupling time in queueing networks perfect simulation", In *Markov
Anniversary Meeting*, Charleston juin 2006.

[9] J.M. Fourneau, N. Pekergin, "An algorithmic approach to stochastic bounds", Performance Evaluation of Complex Systems : Techniques et Tools ( Performance 2002 Tutorial Lecture Notes), pages 64-89, LNCS Springer Verlag 2459, 2002.

[10] Hansson,H. and Jonsson B.: A logic for reasoning about
time and reliability. In *Form. Asp. of Comp*. **6**: 512-535, 1994

[11] S.P. Meyn and R.L. Tweedy *Markov Chains and
Staochastic Stability *Springer Verlag, 1993.

[12] J. Propp, D. Wilson, "Exact sampling with couples Markov
chains and applications to statistical mechanics, *Random structures and
Algorithms *Vol. 9, p. 223- 252, 1996.

[13] N. Pekergin, "Stochastic performance bounds by state space reduction", Performance Evaluation, 36-37, pages 1-17, 1999.

[14] N. Pekergin, S. Youn`es, "Stochastic Model Checking with
Stochastic Comparison," In *EPEW 2005, Springer LNCS*, V 3670, pages
109-123, 2005.

[15] A. Remke, B. Haverkort, L. Cloth, "Model Checking
Infinite-State Markov Chains", In *11th International Conference on Tools
and Algorithms for the Constructions and Analysis of Systems, TACAS05*, p.
237-252, 2005.

[16] A. N. Rybko and A.N. Stolyar , *Ergodicity of
stochastic processes describing the operation of open queueing networks*,
Problemy Peredachi informatsiii 28-3 pp 3-26, 1992.

[17] K. Sen, M. Viswanathan, G. Algha, "Statistical model
checking of black-box probabilistic systems", In *"16th conference on
Computer Aided Verification (CAV’04*, LNCS, Springer 2004.

[18] A.Muller and D. Stoyan, *Comparison Methods for
StochasticModels and Risks*, Wiley , New York, 2002.

[19] H. L. S. Younes and R. G. Simmons, "Probabilistic
verification of discrete event systems using acceptance sampling," In *14th
International Conference on Computer Aided Verification (CAV)*, volume 2404
of LNCS, pages 223-235. Springer, 2002.

[20] H.L.S. Younes , M. Kwiatkowska, G. Norman, D. Parker, "Numerical
vs. Statistical Probablistic Model Checking: An Emprical Study", In *10th
International Conference on Tools and Algorithms for the Constructions and
Analysis of Systems, TACAS04*, volume 2988 of LNCS, p. 46-60, 2004.

[21] J.M. Vincent, C. Marchand, "On the exact simulation
functionals of stationary of Markov chains", *Linear Algebra and its
Applications*, vol. 386, 2004.

[22] J.M. Vincent, "Perfect simulation of queueing networks
with blocking and rejection", *IEEE Saint Conference*, Trento 2005.

[23] J.M. Vincent, C. Marchand "Perfect simulation of monotone
systems for rare event probability estimation", *Winter simulation
conference*, Orlando, 2005.