@article{HMBZJHMJ2020IJBSR,
  author    = {Hana Mkaouar and Bechir Zalila and J{\'{e}}r{\^{o}}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},
  month     = {march},
  doi       = {https://dx.doi.org/10.1504/IJBSR.2020.106278}
}