Title: Specification and compositional verification of real-time systems
First published: 1991
Subjects: Real-time data processing
LC classification: QA76.54