Title: Clocks, DBMS and States in Timed Systems
Subjects: Real-time data processing