@article{JH-BZ-LP-FK:TECS08,
  author  = {Jérôme Hugues and Bechir Zalila and Laurent Pautet and Fabrice Kordon},
  title   = {{From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite}},
  journal = {{ACM Transactions in Embedded Computing Systems (TECS)}},
  volume  = {7},
  number  = {4},
  pages   = {1-25},
  year    = {2008},
  doi     = {10.1145/1376804.1376810},
}