M. Borrel, Interactions between Hardware and Software Components: Characterization, Formalization and ModelingApplication to CAUTRA Dependability, INP, 1996.

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

K. Kanoun, M. Borrel, T. Moreteveille, and A. Peytavin, Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System, Proc. 26th IEEE Int. Symp. Fault-Tolerant Computing (FTCS-26), pp.106-115, 1996.

A. Avizienis and D. E. Ball, On the Achievement of a High Dependable and Fault-Tolerant Air Traffic Control System, IEEE Computer, vol.20, pp.84-90, 1987.

V. R. Hunt and G. V. Kloster, The Federal Aviation Administration's Advanced Automation Program, IEEE Computer, vol.20, pp.14-17, 1987.
DOI : 10.1109/mc.1987.1663473

F. Cristian, B. Dancey, and J. Dehn, Fault-Tolerance in the Advanced Automation System, Proc. 20th IEEE Int. Symp; on Fault-Tolerant Computing, pp.6-17, 1990.

E. Amadio, P. Iaboni, M. Lamanna, and P. Mariano, Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S System, Proc. 24th IEEE Int. Symp. on Fault-Tolerant Computing, pp.134-136, 1994.

J. Garot and T. Hawker, Evaluating Proposed Architectures for the FAA's Advanced Automation System, IEEE Computer, vol.20, pp.33-45, 1987.

N. Fota, M. Kâaniche, and K. Kanoun, Dependability Evaluation of an Air Traffic Control System, Proc. 3rd IEEE Int. Computer Performance & Dependability Symposium (IPDS), pp.206-215, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00762602

C. Chen, H. Asada, Y. Kakuda, and T. Kikuno, Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilities, Proc. 23rd IEEE Int. Symp. Fault-Tolerant Computing, pp.66-75, 1993.

G. E. Stark, Dependability Evaluation of Integrated Hardware/Software Systems, IEEE Trans. on Reliability, pp.440-444, 1987.

P. I. , An Analysis of Hardware and Software Availability Exemplified on the IBM-3725 Communication Controller, IBM Journal of Research and Development, vol.32, pp.268-278, 1988.

J. F. Meyer, K. H. Muralidhar, and W. H. Sanders, Performability of a Token Network under Transient Fault Conditions, Proc. 19th IEEE Int. Symp. on Fault-Tolerant Computing, pp.175-182, 1989.

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

K. H. Prodromides and W. H. Sanders, Performability Evaluation of CSMA/CD & CSMA/DCR Protocols Under Transient Faul Conditions, IEEE Trans. on Reliability, vol.42, issue.1, pp.116-127, 1993.
DOI : 10.1109/24.210282

L. A. Tomek and K. S. Trivedi, Analysis Using Stochastic Reward Nets, Software Fault Tolerance, pp.138-165, 1995.

W. Sanders and J. Meyer, Reduced Base Model Construction Methods for Stochastic Activity Networks, IEEE Trans. on Selected Areas in Communications, vol.9, issue.1, pp.25-36, 1991.
DOI : 10.1109/pnpm.1989.68541

A. Costes, C. Landrault, and J. Laprie, Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults, IEEE Trans. on Computers, pp.548-560, 1978.
DOI : 10.1109/tc.1978.1675146

J. Laprie, C. Béounes, M. Kaâniche, and K. Kanoun, The Transformation Approach to Modeling and Evaluation of Reliability and Availability Growth of Systems, Proc. 20th IEEE Int. Symp. Fault-Tolerant Computing, pp.364-371, 1990.

J. Laprie and K. Kanoun, X-ware Reliability and Availability Modeling, IEEE Trans. on Software Engineering, vol.18, pp.130-147, 1992.
DOI : 10.1109/32.121755
URL : https://hal.archives-ouvertes.fr/hal-01979370

J. B. Dugan and M. Lyu, System-level Reliability and Sensitivity Analysis for Three Fault-tolerant Architectures, Proc. 4th IFIP Int. Conference on Dependable Computing for Critical Applications, pp.295-307, 1994.
DOI : 10.1007/978-3-7091-9396-9_37

J. Laprie, Dependability Evaluation of Software Systems in Operation, IEEE Trans. on Software Engineering, issue.10, pp.701-714, 1984.

I. Lee and R. K. Iyer, Faults, Symptoms, and Software Fault Tolerance in Tandem GUARDIAN90 Operating System, Proc. 23rd IEEE Int. Symp. Fault-Tolerant Computing (FTCS-23), pp.20-29, 1993.
DOI : 10.1109/ftcs.1993.627304

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 IEEE Int. Symp. Fault-Tolerant Computing, pp.668-673, 1993.

H. H. Ammar, Y. F. Huang, and R. W. Liu, Hierarchical Models for Systems Reliability, Maintainability, and Availability, IEEE Trans. on Circuits and Syst, vol.34, pp.629-638, 1987.
DOI : 10.1109/tcs.1987.1086189

G. Chiola and S. Donatelli, GSPN versus SPNs: What is the Actual Role of Immediate transitions?, Proc. Int. Workshop on Petri Nets and Performance Models, pp.20-31, 1991.

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.

A. Bobbio and K. Trivedi, An Aggregation Technique for the Transient Analysis of Stiff Markov Chains, IEEE Trans. on Computers, vol.35, pp.803-814, 1986.