A tlm-based platform to specify and verify component-based real-time systems. - Mostafavi Amjad Davoud; Mina Zolfy Lighvan (CoRR, 2014)