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 UR - https://arxiv.org/abs/1004.2637 ID - 1004.2637 ER -