Stav dette: Real-time systems and programming languages