TY  - RPRT
TI  - A tlm-based platform to specify and verify component-based real-time systems
AU  - Mostafavi Amjad Davoud
AU  - Zolfy Lighvan Mina
PY  - 2014
DO  - 10.5121/ijsea.2014.5201
UR  - https://arxiv.org/abs/1404.7814
ID  - 1404.7814
ER  -