Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata