Pt. I. Real time systems - background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2.1. Requirement specification. 2.2. System specifications. 3. Characteristics of real-time languages. 3.1. Modelling fe…