@incollection{Wer2019,
Author = {Werner Damm, Eike Möhlmann, and Astrid Rakow},
Title = {Traffic Sequence Charts for the ENABLE-S 3 Test Architecture},

Year = {2019},
Pages = {45--60},
Month = {12},
Publisher = { Springer International Publishing},
Booktitle = {Validation and Verification of Automated Systems},
chapter = {6},
Doi = {10.1007/978-3-030-14628-3},
Url = {https://doi.org/10.1007/978-3-030-14628-3},
type = {incollection}
}
@COMMENT{Bibtex file generated on }