@article{HMBZJHMJ2020IJBSR,
  author  = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel},
  title   = {{Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language}},
  journal = {{International Journal of Business and Systems Research}},
  volume  = {14},
  number  = {2},
  pages   = {162–190},
  year    = {2020},
  doi     = {10.1504/IJBSR.2020.106278},
  note    = {Ranked Q3 on Scopus and SJR},
}