An interleaving model for real-time systems | lit.salon