Textmeddelande: Real-time systems and programming languages