Title: An interleaving model for real-time systems