Structured development for real-time systems | lit.salon