@inproceedingshal-01714060/dammkmpr2018, Author = {Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow},Title = {Using Traffic Sequence Charts for the Development of HAVs},Year = {2018},Series = {9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)},Booktitle = {European Congress on Embedded Real Time Software and Systems 2018},Url = {https://hal.archives-ouvertes.fr/hal-01714060/file/ERTS_2018_paper_17.pdf},type = {inproceedings},Abstract = {This paper proposes a visual, formal specification language for capturing scenarios, and, thus, addresses key industrial needs for supporting scenario-driben specification and scenario-based acceptance testing for HAVs.} @COMMENTBibtex file generated on