@misc{indiciae8760d84a8c13, 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}, doi = {10.4204/eptcs.28.2}, url = {https://arxiv.org/abs/1006.5095}, note = {Source identifier: 1006.5095} }