@inproceedings{HMBZJHMJ:RST2015,
year={2015},
isbn={978-3-319-19583-4},
booktitle={Reliable Software Technologies  Ada-Europe 2015},
volume={9111},
series={Lecture Notes in Computer Science},
editor={de la Puente, Juan Antonio and Vardanega, Tullio},
doi={10.1007/978-3-319-19584-1_10},
title={From AADL Model to LNT Specification},
publisher={Springer International Publishing},
keywords={AADL; LNT; Distributed real-time systems; Architecture description languages; Model transformation; Specification languages; Formal verification},
author={Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed},
pages={146-161}
}