The presence and use of real-time systems is becoming increasingly common. Examples of such systems range from nuclear reactors, to automotive controllers, and also entertainment software such as games and graphics animation. The growing importance of rea.