Title: Domain Modeling and the Duration Calculus
Subjects: Real-time data processing, Programming languages (electronic computers)