A. Arnold, G. Point, A. Griiault, and A. Rauzy, The AltaRica Formalism for Describing Concurrent Systems, Fundam. Inform, p.???

J. Brunel, New Platform Concept -Modélisation AltaRica d'un modèle PAM et Utilisation de Motifs d'Architecture

H. Peter, D. P. Feiler, J. J. Gluch, and . Hudak, The Architecture Analysis & Design Language (AADL): An Introduction

D. Garlan, M. , R. T. Wile, and D. , Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.pages ???
DOI : 10.1145/1925805.1925814

C. Kehren, Motifs formels d'architecture de systèmes pour la sûreté de fonctionnement

C. David, J. Luckham, and . Vera, An Event-Based Architecture Deenition Language, IEEE Trans. Software Eng, p.???

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, Specifying distributed software architectures, Proceedings of the th European Software Engineering Conference, p.pages ????
DOI : 10.1007/3-540-60406-5_12

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering

[. Point, AltaRica : Contribution à l'uniication des méthodes formelles et de la sûreté de fonctionnement

A. Rugina, Modélisation et évaluation de la sûreté de Fonctionnement -De AADL vers les réseaux de Petri Stochastiques

L. Sagaspe, Allocation sûre dans les systèmes aéronautiques: Modélisation, Vériication et Génération

N. Storey, Design for Safety, Towards System Safety: Proc. th Safety-Critical Systems Symposium, p.pages ???
DOI : 10.1007/978-1-4471-0823-8_1

O. /. Dddd, É. Bbbbb, T. Bpppppp, F. Ccccc, O. /. Efr et al., -mail address: firstname.lastname@onera