@article{HMBZJHMJ2020IJSTTT,
  author  = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel},
  title   = {{A formal approach to AADL model-based software engineering}},
  journal = {{International Journal on Software Tools for Technology Transfer}},
  volume  = {22},
  number  = {2},
  pages   = {219–247},
  year    = {2020},
  doi     = {10.1007/s10009-019-00513-7},
  note    = {Ranked Q1 on Scopus and Q2 on SJR. IF=0.739 (Web of Science)},
}