@inproceedings{HMBZJHMJ:RST2015,
  author    = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel},
  title     = {{From AADL Model to LNT Specification}},
  booktitle = {{20th International Conference on Reliable Software Technologies (Ada-Europe)}},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {9111},
  pages     = {146-161},
  year      = {2015},
  month     = {jun},
  doi       = {10.1007/978-3-319-19584-1_10},
  note      = {Ranked A on CORE},
}