Title: Specifying real-time systems with interval logic
Subjects: Logic design, Distributed processing, Real time operation, Specifications, Protocol (Computers), Proving, Computer systems performance