M. Ajmone-marsan, G. Balbo, and G. Conte, A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.

J. Arlat and J. Laprie, Performance-Related Dependability Evaluation of Supercomputer Systems, Proc. 13th

. Int and . Symp, on Fault-Tolerant Computing (FTCS-13), pp.276-283, 1983.

M. Balakrishnan and K. S. Trivedi, Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components, Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pp.259-268, 1995.

G. Balbo, S. C. Bruell, and S. Ghanta, Combining Queuing Networks and GSPNs for the Solution of Complex Models of System Behaviour, IEEE Transactions on Computers, vol.37, issue.10, pp.1251-1268, 1988.

C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau et al., SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software systems, Proc. 23rd Int. Symp. on Fault-Tolerant Computing, pp.668-673, 1993.

C. Betous-almeida and K. Kanoun, Dependability Evaluation From Functional to Structural Modelling, Proc. 20th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP'2001), pp.227-237, 2001.
URL : https://hal.archives-ouvertes.fr/hal-02007586

A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli et al., DEEM: a Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems, Proc. Int. Conf. on Dependable Systems and Networks (DSN'2000), pp.231-236, 2000.

A. Bondavalli, I. Mura, and M. Nelli, Analytical Modeling and Evaluation of Phased Mission Systems in space Applications, Proc. 2nd IEEE High Assurance System Engineering Workshop (HASE), pp.85-91, 1997.

A. Bondavalli, I. Mura, and K. S. Trivedi, Dependability Modeling and Sensitivity Analysis of Scheduled Maintenance Systems, Proc. 3rd European Dependable Computing Conference (EDCC-3), pp.7-23, 1999.

J. Campos, S. Donatelli, and M. Silva, Structured Solution of Asynchronously Communicating Stochastic Modules, IEEE Transactions on Software Engineering, vol.25, issue.2, pp.147-165, 1999.

G. Ciardo and A. S. Miner, A data structure for the efficient Kronecker solution of GSPNs, Proc. 8th Int. Workshop on Petri Nets and Performance Models (PNPM'99), pp.22-29, 1999.

G. Ciardo, J. Muppala, and K. S. Trivedi, SPNP: Stochastic Petri Net Package, Proc. 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89), pp.142-151, 1989.
DOI : 10.1109/pnpm.1989.68548

G. Ciardo and K. Trivedi, A Decomposition Approach for Stochastic Reward Net Models, Performance Evaluation, vol.18, issue.1, pp.37-59, 1993.

S. Donatelli, Superposed Generalized Stochastic Petri net: definition and efficient solution, Proc. 15th Int. Conf. on Applications and Theory of Petri Nets, pp.258-277, 1994.
DOI : 10.1007/3-540-58152-9_15

N. Fota, M. Kaâniche, and K. Kanoun, Dependability Evaluation of an Air Traffic Control Computing System, Performance Evaluation, vol.35, pp.253-273, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00762602

N. Fota, M. Kâaniche, and K. Kanoun, Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling, Statistical and Probabilistic Models in, pp.321-335, 1999.

K. Kanoun and M. Borrel, Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions between Hardware and Software Components, Proc. Int. Computer Performance & Dependability Symposium (IPDS'96), pp.252-261, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01976182

K. Kanoun, M. Borrel, T. Moreteveille, and A. Peytavin, Availability of CAUTRA, a Subset of the French Air Traffic Control System, IEEE Transactions on Computers, vol.48, issue.5, pp.528-535, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01977520

R. Marie and A. Jean-marie, Quantitative Evaluation of Discrete Event Systems: Models, Performances and Techniques, Proc. 5th Int. Workshop on Petri Nets and Performance Models (PNPM'93), pp.2-11, 1993.

J. F. Meyer, Performability: A Retrospective and Some Pointers to the Future, Performance Evaluation, vol.14, issue.3-4, pp.139-156, 1992.

J. F. Meyer and W. H. Sanders, Specification and Construction of Performability Models, Proc. Int. Workshop on Performability Modeling of Computer and Communication Systems, pp.1-32, 1993.

J. K. Muppala, A. Sathaye, R. C. Howe, and K. S. Trivedi, Dependability Modeling of a Heterogeneous VAXcluster System Using Stochastic Reward Nets, Hardware and Software Fault Tolerance in Parallel Computing Systems, D. R. Avresky, pp.33-59, 1992.

I. Mura and A. Bondavalli, Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability, IEEE Transactions on Computers, vol.50, issue.12, pp.1337-1351, 2001.

M. Rabah, Dependability Evaluation of Multipurpose Multiprocessor Systems, LAAS report 00453, 2000.

M. Rabah, Performability of a Distributed Shared Memory Multiprocessor Systems, Proc. Int. Conf. on Dependable Systems and Networks (DSN'2000), pp.37-39, 2000.

M. Rabah and K. Kanoun, Dependability Evaluation of a Distributed Shared Memory Multiprocessor System, Proc. 3rd European Dependable Computing Conference (EDCC-3), pp.42-59, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01986493

I. Rojas, Compositional Construction of SWN Models, The Computer Journal, vol.38, issue.7, pp.612-621, 1995.
DOI : 10.1093/comjnl/38.7.612
URL : https://academic.oup.com/comjnl/article-pdf/38/7/612/1122094/380612.pdf

R. A. Sahner and K. S. Trivedi, Reliability Modeling Using SHARPE, IEEE Transactions on Reliability, vol.36, issue.2, pp.186-193, 1987.
DOI : 10.1109/tr.1987.5222336

W. H. Sanders, W. D. Obal, I. I. , M. A. Qureshi, and F. K. Widjanarko, The UltraSAN Modeling Environment, Performance Evaluation, vol.24, issue.1-2, pp.89-115, 1995.
DOI : 10.1016/0166-5316(95)00012-m

V. Santonja, M. Alonso, J. Molero, J. J. Serrano, P. Gil et al., Dependability Models of RAID Using Stochastic Activity Networks, Proc. 2nd European Dependable Computing Conference (EDCC-2), pp.141-158, 1996.
DOI : 10.1007/3-540-61772-8_35

L. A. Tomek, V. Mainkar, R. M. Geist, and K. S. Trivedi, Reliability Modeling of Life-Critical, Real-Time Systems, Proceedings of the IEEE, vol.82, pp.108-121, 1994.

K. S. Trivedi, B. R. Haverkort, A. Rindos, and V. Mainkar, Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives, Proc. 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pp.1-24, 1994.