Title: Foundations of Real-Time Computing