A. Ahmadi, P. Söderholm, and U. Kumar, An overview of trends in aircraft maintenance program development: Past, present, and future. Risk, Reliability and Societal Safety, Proceedings of European Safety and Reliability Conference, pp.2067-76, 2007.

A. Msg, MSG-3-Maintenance program development Document, 1993.

N. Fota, M. Kaâniche, and K. Kanoun, Dependability evaluation of an air traffic control computing system, Performance Evaluation, vol.35, pp.253-73, 1999.
DOI : 10.1109/ipds.1998.707723
URL : https://hal.archives-ouvertes.fr/hal-00762602

C. Betous-almeida and K. Kanoun, Dependability modelling of instrumentation and control systems: A comparison of competing architectures, Safety Science, vol.42, pp.457-80, 2004.

A. Rugina, K. Kanoun, and M. Kaâniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, Proceedings of the 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008.
DOI : 10.1109/edcc-7.2008.14
URL : https://hal.archives-ouvertes.fr/hal-00323969

A. E. Rugina, K. Kanoun, and M. Kaâniche, Software Dependability Modeling Using AADL (Architecture Analysis and Design Language), International Journal of Performability Engineering, vol.7, pp.313-338, 2011.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-133, 1999.

M. Boiteau, Y. Dutuit, A. Rauzy, and J. Signoret, The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System, Reliability Engineering and System Safety, vol.91, pp.747-55, 2006.

D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders, Möbius: An Extensible Tool for Performance and Dependability Modeling, Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, pp.332-338, 2000.
DOI : 10.1007/3-540-46429-8_25

K. Tiassou, Aircraft operational reliability-A Model-based approach and case studies, Ph.D. Univ. Toulouse, INSA, p.31, 2013.
DOI : 10.1016/j.ress.2013.07.008
URL : https://hal.archives-ouvertes.fr/tel-00807442

K. Tiassou, K. Kanoun, M. Kaâniche, C. Seguin, and C. Papadopoulos, Modeling aircraft operational reliability, Proceedings of the 30th international conference on Computer safety, reliability, and security, pp.157-70, 2011.
DOI : 10.1007/978-3-642-24270-0_12

K. Tiassou, K. Kanoun, M. Kaâniche, C. Seguin, and C. Papadopoulos, Impact of Operational Reliability re-Assessment during Aircraft Missions, 31st International Symposium on Reliable Distributed Systems, pp.219-243, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01176048

A. Ahmadi and P. Soderholm, Assessment of Operational Consequences of Aircraft Failures: Using Event Tree Analysis, Proc. 2008 IEEE Aerospace Conf, pp.1-14, 2008.

R. Bernard, J. Aubert, P. Bieber, C. Merlini, and S. Metge, Experiments in modelbased safety analysis: flight controls, 2007.

, MMEL. Master Minimum Equipment List-AIRBUS, 2008.

K. Tiassou, K. Kanoun, M. Kaâniche, C. Seguin, and C. Papadopoulos, Online model adaptation for aircraft operational reliability assessment, vol.2, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761040

D. R. Prescott and J. D. Andrews, Aircraft safety modeling for time-limited dispatch, Proceedings of the Annual Reliability and Maintainability Symposium, pp.139-184, 2005.

C. Kehren, C. Seguin, P. Bieber, C. Castel, C. Bougnol et al., Advanced simulation capabilities for Multi-systems with Altarica, Proceedings of the 22nd International System Safety Conference, pp.489-98, 2004.

A. Ramesh, D. Twigg, and T. Sharma, Advanced methodologies for average probability calculation for aerospace systems, Proc. 26th international congress of the aeronautical sciences, pp.1-9, 2008.

L. Saintis, E. Hugues, C. Bes, and M. Mongeau, Computing in-service aircraft reliability, Int J Rel Qual Saf Eng, vol.16, pp.91-116, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01349414

M. Bineid and J. P. Fielding, Development of an aircraft systems dispatch reliability design methodology, The Aeronautical Journal, vol.110, pp.345-52, 2006.

M. Sachon and E. Paté-cornell, Delays and safety in airline maintenance, Reliability Engineering & System Safety, vol.67, pp.301-310, 2000.

N. Papakostas, P. Papachatzakis, V. Xanthakis, D. Mourtzis, and G. Chryssolouris, An approach to operational aircraft maintenance planning, Decision Support Systems, vol.48, pp.604-616, 2010.

J. F. Meyer, D. G. Furchtgott, and L. T. Wu, Performability Evaluation of the SIFT Computer, IEEE Transactions on Computers, pp.501-510, 1980.

I. Mura and A. Bondavalli, Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability, IEEE Trans Comput, vol.50, pp.1337-51, 2001.

S. P. Chew, S. J. Dunnett, and J. D. Andrews, Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets, Reliability Engineering & System Safety, vol.93, pp.980-994, 2008.

M. Malek, Online Dependability Assessment through Runtime Monitoring and Prediction, Proceedings of the 2008 Seventh European Dependable Computing Conference, pp.181-181, 2008.

P. Masci, M. Martinucci, D. Giandomenico, and F. , Towards Automated Dependability Analysis of Dynamically Connected Systems, Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems, pp.139-185, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00573410