@misc{indiciae49adb7b98d65,
  title = {Real-Time Model Checking Support for AADL},
  author = {B Berthomieu and J. -P Bodeveix and S Dal Zilio and M Filali and D Le Botlan and G Verdier and F Vernadat},
  year = {2015},
  url = {https://arxiv.org/abs/1503.00493},
  note = {Source identifier: 1503.00493}
}