A. Marsan, M. Balbo, G. Conte, G. Donatelli, S. Franceschinis et al., Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, 1994.
DOI : 10.1145/288197.581193

A. Bobbio and D. C. Raiteri, Parametric fault trees with dynamic gates and repair boxes, Annual Symposium Reliability and Maintainability, 2004, RAMS, pp.459-465, 2004.
DOI : 10.1109/RAMS.2004.1285491

G. Bolch, S. Greiner, H. De-meer, and K. S. Trivedi, Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2006.
DOI : 10.1002/0471791571

M. Bouissou and J. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003.
DOI : 10.1016/S0951-8320(03)00143-1

E. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959.
DOI : 10.1007/BF01386390

J. Dugan, S. Bavuso, and M. Boyd, Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, vol.41, issue.3, pp.363-377, 1992.
DOI : 10.1109/24.159800

J. B. Dugan, K. J. Sullivan, C. , and D. , Developing a low-cost high-quality software tool for dynamic fault-tree analysis. Reliability, IEEE Transactions on, vol.49, issue.1, pp.49-59, 2000.

J. M. Fourneau, N. Pekergin, Y. , and S. , Censoring Markov Chains and Stochastic Bounds, Lecture Notes in Computer Science, vol.4748, pp.213-227, 2007.
DOI : 10.1007/978-3-540-75211-0_16

M. Gudemann and F. Ortmeier, Towards modeldriven safety analysis, Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on, pp.53-58, 2011.

R. Lal and U. Bhat, Reduced System Algorithms for Markov Chains, Management Science, vol.34, issue.10, pp.1202-1220, 1988.
DOI : 10.1287/mnsc.34.10.1202

M. Malhotra and K. S. Trivedi, Dependability modeling using Petri-nets. Reliability, IEEE Transactions on, vol.44, issue.3, pp.428-440, 1995.

S. Montani, L. Portinale, A. Bobbio, M. Varesio, and D. Codetta-raiteri, A tool for automatically translating dynamic fault trees into dynamic bayesian networks, RAMS '06. Annual Reliability and Maintainability Symposium, 2006., pp.434-441, 2006.
DOI : 10.1109/RAMS.2006.1677413

Y. Pribadi, J. Voeten, and B. Theelen, Reducing markov chains for performance evaluation, Proceedings of PROGRESS'01, 2001.

T. Prosvirnova, M. Batteux, P. A. Brameret, L. Kloul, A. Cherfi et al., The altarica 3.0 project for model-based safety assessment, Dependable Control of Discrete Systems (DCDS), 2013.

A. Rauzy, An experimental study on iterative methods to compute transient solutions of large Markov models, Reliability Engineering & System Safety, vol.86, issue.1, pp.105-115, 2004.
DOI : 10.1016/j.ress.2004.01.007

W. Stewart, Introduction to the numerical solution of Markov chains, 1994.

Y. Q. Zhao and D. Liu, The censored Markov chain and the best augmentation, Journal of Applied Probability, vol.69, issue.03, pp.623-629, 1996.
DOI : 10.2307/3214092