TY - RPRT TI - Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata AU - Karine Altisen AU - Yanhong Liu AU - Matthieu Moy PY - 2010 DO - 10.4204/eptcs.28.2 UR - https://arxiv.org/abs/1006.5095 ID - 1006.5095 ER -