@misc {IOPORT.70523833,
    author       = {R\"oglinger, Sebastian and Facchi, Christian},
    title        = {Behavior specification of a red-light violation warning application - an approach for specifying reactive vehicle-2-X communication applications},
    howpublished = {Nets4Cars/Nets4Trains, 106-118 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-19786-4_10},
    identifier   = {70523833},
}