A Compositional Approach on Modal Specifications for Timed Systems