Bo Sandén

• Restarting a real-time system