Altisen, Liu, Moy, 2010. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata.