Systems can be described at various levels of abstraction: automata, processes and behavior. In this paper, we take the ready trace set as a description of the behavior of a process and we present a ready trace model of real time process algebra. We argue that, especially in the real time case, properties of ready trace sets are best formulated in a dedicated logic (as opposed to describing them in an enriched process notation, such as ACPτ). We present the syntax and semantics of a logic that could serve this purpose and we apply it to study the existence of socalled coordinated attack protocols. A connection is made with the metric temporal logic of Koymans. This paper is an abbreviated version of [BABB93].