@inproceedingsbirthday/dammmpr18, Author = {Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow},Title = {A Formal Semantics for Traffic Sequence Charts},Year = {2018},Pages = {182-205},Publisher = {Springer},Series = {Lecture Notes in Computer Science},Booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday},Doi = {10.1007/978-3-319-95246-8_11},Url = {https://doi.org/10.1007/978-3-319-95246-8_11},type = {inproceedings} @COMMENTBibtex file generated on