@article{HMBZJHMJ2020IJSTTT,
  author    = {Hana Mkaouar and Bechir Zalila and J{\'{e}}r{\^{o}}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},
  month     = {march},
  doi       = {https://doi.org/10.1007/s10009-019-00513-7}
}