@inproceedings{MMkaouarZHJ15,
  author    = {Hana Mkaouar and
               Bechir Zalila and
               J{\'{e}}r{\^{o}}me Hugues and
               Mohamed Jmaiel},
  title     = {From {AADL} Model to {LNT} Specification},
  booktitle = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
               International Conference on Reliable Software Technologies, Proceedings},
  pages     = {146--161},
  year      = {2015},
  doi       = {10.1007/978-3-319-19584-1_10},
}