Temporal logic for real-time systems
Ostroff, Jonathan S.(Jonathan Sol) l1954-
Taunton Research Studies Press
c1989
Bibliography: p147-154. - Includes index
Real-time data processing.