Automating Verification of Cooperation, Control, and Design in Traffic Applications.
Werner DammAlfred MikschlJens OehlerkingErnst-Rüdiger OlderogJun PangAndré PlatzerMarc SegelkenBoris WirtzPublished in: Formal Methods and Hybrid Real-Time Systems (2007)