F. Ye and T. P. Kelly, Criticality Analysis for COTS, Software Components, 22 nd International System Safety Conference, 2004.

P. Shamus, M. D. Smith, and . Harrison, Measuring reuse in hazard analysis, Reliability Engineering & System Safety, vol.89, issue.1, pp.93-104, 2005.

M. Mernick and V. Viljem-zumer, Reusability of formal specifications in programming language description, th Annual Workshop on Software Reuse, pp.1-4, 1997.

H. Thane and A. Wall, Formal and Probabilistic Arguments for Component Reuse in Safety-Critical Real Time Systems, 2000.

P. Fenelon, J. A. Mcdermid, M. Nicholson, and D. J. Pumfrey, Towards integrated safety analysis and design, ACM SIGAPP Applied Computing Review, vol.2, issue.1, 1994.
DOI : 10.1145/381766.381770
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.3666

Y. Papadopoulos and J. A. Mcdermid, Hierarchically Performed Hazard Origin and Propagation Studies, SAFECOMP '99, pp.1698-139, 1999.
DOI : 10.1007/3-540-48249-0_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9849

B. Kaiser, P. Liggesmeyer, and O. Mäckel, A New Component Concept for Fault Trees, th Australian Workshop on Safety Critical Systems and Software (SCS'03, 2003.

B. Kaiser and C. Gramlich, State-Event-Fault-Trees: A Safety Analysis Model for Software Controlled Systems, LNCS, vol.3219, pp.195-209, 2004.

Y. Papadopoulos, J. Mcdermid, A. R. Sasse, and G. Heiner, Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure, Reliability Engineering & System Safety, vol.71, issue.3, pp.229-247, 2001.
DOI : 10.1016/S0951-8320(00)00076-4

Y. Papadopoulos, D. Parker, and C. Grante, A method and tool support for model-based semi-automated Failure Modes and Effects Analysis (FMEA) " , 9 th Australian Workshop Safety Critical Programmable Systems, 2004.

H. Kopetz, The Time-Triggered Approach to Real-Time System Design, Predictably Dependable Computing Systems, ESPRIT basic research series, 1995.
DOI : 10.1007/978-3-642-79789-7_4

H. Kopetz and G. Grunsteidl, TTP-a protocol for fault-tolerant real-time systems, Computer, vol.27, issue.1, pp.14-23, 1994.
DOI : 10.1109/2.248873

I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, and C. Webel, Developing safety-critical real-time systems with SDL design patterns and components, Computer Networks, vol.49, issue.5, 2005.
DOI : 10.1016/j.comnet.2005.05.003

L. Grunske, Transformational Patterns for the Improvement of Safety Properties in Architectural Specification, nd Nordic Conf. on Patterns Languages, 2003.

. Isograph, Fault Tree +, 2005.

J. B. Fussell and W. E. Vesely, A new methodology for obtaining cut sets for fault trees, Transactions of the American Nuclear Society, vol.15, pp.262-263, 1972.

P. K. Pande, H. E. Spector, and P. Chatterjee, Computerized fault tree analysis: TREEL and MICSUP, Operations Research Center, pp.75-78, 1975.

R. M. Sinnamon and J. D. Andrews, New approaches to evaluating fault trees, Reliability Engineering & System Safety, vol.58, issue.2, pp.89-96, 1997.
DOI : 10.1016/S0951-8320(96)00036-1

W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook

Y. Papadopoulos and C. Grante, Evolving car designs using model-based automated safety analysis and optimisation techniques, Journal of Systems and Software, vol.76, issue.1, pp.77-89, 2005.
DOI : 10.1016/j.jss.2004.06.027