Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. Models and Temporal Logics for Timed Component Connectors. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 198-207, IEEE Computer Society, 2004. [doi]
Abstract is missing.