In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define  timed modal specifications  , an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.
['Nathalie Bertrand', 'Sophie Pinchinat', 'Jean-Baptiste Raclet']
Refinement and Consistency of Timed Modal Specifications