@inproceedings{GL:AE09,
  author    = {Gilles Lasnier and Bechir Zalila and Laurent Pautet and Jérôme Hugues},
  title     = {{OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications}},
  booktitle = {{14th Ada-Europe International Conference Reliable Software Technologies (Ada-Europe)}},
  publisher = {Springer},
  address   = {Brest, France},
  series    = {Lecture Notes in Computer Science},
  volume    = {5570},
  pages     = {237-250},
  year      = {2009},
  month     = {jun},
  doi       = {10.1007/978-3-642-01924-1_17},
  note      = {Ranked A on CORE},
}