@inproceedings{RoeglingerFacchi2011, author = {R{\"o}glinger, Sebastian and Facchi, Christian}, title = {Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications}, booktitle = {Communication Technologies for Vehicles: Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings}, editor = {Strang, Thomas and Festag, Andreas and Vinel, Alexey and Mehmood, Rashid and Rico Garc{\´i}a, Cristina and R{\"o}ckl, Matthias}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-19785-7}, doi = {https://doi.org/10.1007/978-3-642-19786-4_10}, pages = {106 -- 118}, year = {2011}, language = {en} } @article{Roeglinger2011, author = {R{\"o}glinger, Sebastian}, title = {A methodology for testing intersection related vehicle-2-X applications}, volume = {55}, journal = {Computer Networks}, number = {14}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1389-1286}, doi = {https://doi.org/10.1016/j.comnet.2011.06.014}, pages = {3154 -- 3168}, year = {2011}, language = {en} }