%0 Conference Proceedings
%F lata09
%A Bertrand, N.
%A Pinchinat, S.
%A Raclet, J.B.
%T Refinement and Consistency of Timed Modal Specifications
%B Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09)
%V 	 5457
%P 152-163
%S LNCS
%C Tarragona, Spain
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/BPR-lata09.pdf
%U http://dx.doi.org/10.1007/978-3-642-00982-2_13
%8 April
%D 2009