Bibtex de la publication

@InProceedings{ CoBeBoFaFiVe2010.2,
author = {Correa, Tiago and Becker, Leandro and Bodeveix, Jean-Paul and Farines, J.-M. and Filali, Mamoun and Vernadat, Fran├žois},
title = "{Supporting the Design of Safety Critical Systems Using AADL (regular paper)}",
booktitle = "{, Oxford, 22/03/2010-26/03/2010}",
year = {2010},
month = {mars},
publisher = {IEEE Computer Society},
address = {http://www.computer.org},
pages = {331--336},
language = {anglais}
}