Return to Article Details MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences Download Download PDF