Title: Restarting a real-time system