248 Chapter 7 Real-time Monitors