@inproceedings{HMBZJHMJ2018SAC,
  author    = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel},
  title     = {{An ocarina extension for AADL formal semantics generation}},
  booktitle = {{33rd Annual ACM Symposium on Applied Computing (SAC)}},
  publisher = {ACM},
  address   = {Pau, France},
  pages     = {1402–1409},
  year      = {2018},
  month     = {apr},
  doi       = {10.1145/3167132.3167282},
  note      = {Ranked B on CORE},
}