Engineering real-time systems | lit.salon