@misc{indiciaef8eabd39b0c6,
  title = {A tlm-based platform to specify and verify component-based real-time systems},
  author = {Mostafavi Amjad Davoud and Zolfy Lighvan Mina},
  year = {2014},
  doi = {10.5121/ijsea.2014.5201},
  url = {https://arxiv.org/abs/1404.7814},
  note = {Source identifier: 1404.7814}
}