Sedlmair, M. MSCar: Enhancing Message Sequence Charts With Interactivity for Analysing (Automotive) Communication Sequences. ECEASST 2008, 13.