Sebastian Röglinger, Christian Facchi. Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications. In Thomas Strang, Andreas Festag, Alexey V. Vinel, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl, editors, Communication Technologies for Vehicles - Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings. Volume 6596 of Lecture Notes in Computer Science, pages 106-118, Springer, 2011. [doi]
Abstract is missing.