@misc{indiciae0855aa7389de, title = {Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata}, author = {Karine Altisen and Yanhong Liu and Matthieu Moy}, year = {2010}, url = {https://arxiv.org/abs/1004.2637}, note = {Source identifier: 1004.2637} }