@inbook {IOPORT.05924296,
    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.},
    year         = {2011},
    booktitle    = {Communication technologies for vehicles. Third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23--24, 2011. Proceedings},
    isbn         = {978-3-642-19785-7},
    pages        = {106-118},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-19786-4_10},
    abstract     = {Summary: Current intelligent transportation systems are based on Vehicle-2-X communication. They accomplish the next level of cooperative advanced driver assistance systems. Since these Vehicle-2-X communication applications are often located in the safety critical areas, high quality demands arise. One part of these requirements is the correct functional behavior. For its validation, a formal specification is required. In this paper, the Red-Light Violation Warning application is used. To specify all the functionality, Continuous-Time State Machines (CTSM) are introduced. Such, a formal specification of a Vehicle-2-X application is given and, consequently, no unintended ambiguities exist furthermore.},
    identifier   = {05924296},
}