Peters2, John F Pardoen, G Requirments Based on Monitors for Real Time Systems - 146-158 p. Subjects--Topical Terms: IntroductionNotation