One Way to Describe a Real-Time System is to Enumerate Its Interactions with Its Environment. Message Sequence Charts Are a Simple, Rigorous, Graphical, and Intuitive Notation Specifically Tailored to Capture Such Interactions. MSCS Are Popular in Telecom And, Owing to Similarities to UML, Are Used Increasingly in Many Other Domains