T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat. Supporting the Design of Safety Critical Systems Using AADL. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 331-336, IEEE Computer Society, 2010. [doi]
Abstract is missing.