TY  - RPRT
TI  - Real-Time Model Checking Support for AADL
AU  - B Berthomieu
AU  - J. -P Bodeveix
AU  - S Dal Zilio
AU  - M Filali
AU  - D Le Botlan
AU  - G Verdier
AU  - F Vernadat
PY  - 2015
UR  - https://arxiv.org/abs/1503.00493
ID  - 1503.00493
ER  -