@article(AD94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(BDL04,
 author       = {G. Behrmann and A. David and K. G. Larsen},
 year         = {2004},
 title        = {A Tutorial on {\sc Uppaal}},
 editor       = {Marco Bernardo and Flavio Corradini},
 booktitle    = {4th Intern. School on Formal Methods for the Design of Computer, Communication, and Software Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-30080-9_7},
)
@inproceedings(E17,
 author       = {Berre Eriksen, Andreas and Chao Huang and Jan Kildebogaard and Harry Lahrmann and Kim G. Larsen and Marco Muniz and Haahr Taankvist, Jakob},
 year         = {2017},
 title        = {Uppaal Stratego for Intelligent Traffic Lights},
 booktitle    = {12th ITS European Congress},
)
@inbook(BDG12,
 author       = {Peter Bulychev and Alexandre David and Guldstrand Larsen, Kim and Axel Legay and Miku{\v{c}}ionis, Marius and B{\o}gsted Poulsen, Danny},
 year         = {2012},
 title        = {Checking and Distributing Statistical Model Checking},
 pages        = {449--463},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-28891-3_39},
)
@techreport(SAR12,
 author       = {E. Chan and A. Ekfjorden and P. Jootel and J. Gidney and A. Dávila and M. Brännström and D. Skarin and L. Wahlström},
 year         = {2012},
 title        = {{SA}fe {R}oad {TR}ains for the {E}nvironment ({SARTRE}): Project final report},
 type         = {Technical Report},
 url          = {www.sartre-project.eu/en/publications/Documents/SARTRE_Final-Report.pdf.},
)
@article(ZHR91,
 author       = {Zhou Chaochen and C. A. R. Hoare and Anders P. Ravn},
 year         = {1991},
 title        = {A calculus of durations},
 journal      = {Information Processing Letters},
 volume       = {40},
 number       = {5},
 pages        = {269--276},
 doi          = {10.1016/0020-0190(91)90122-X},
)
@inproceedings(CE82,
 author       = {Edmund M. Clarke and E. Allen Emerson},
 year         = {1982},
 title        = {Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic},
 booktitle    = {Logic of Programs, Workshop},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {52--71},
 doi          = {10.1007/BFb0025774},
 url          = {http://dl.acm.org/citation.cfm?id=648063.747438},
)
@article(DHO06,
 author       = {W. Damm and H. Hungar and E.-R. Olderog},
 year         = {2006},
 title        = {Verification of Cooperating Traffic Agents},
 journal      = {International Journal of Control},
 volume       = {79},
 number       = {5},
 pages        = {395--421},
 doi          = {10.1080/00207170600587531},
)
@incollection(D15,
 author       = {Alexandre David and Peter Gj{\o}l Jensen and Kim Guldstrand Larsen and Miku\v{c}ionis, Marius and Jakob Haahr Taankvist},
 year         = {2015},
 title        = {Uppaal Stratego},
 editor       = {Christel Baier and Cesare Tinelli},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {9035},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {206--211},
 doi          = {10.1007/978-3-662-46681-0_16},
)
@inproceedings(FHO15,
 author       = {Martin Fr{\"a}nzle and Michael R. Hansen and Heinrich Ody},
 year         = {2015},
 title        = {No Need Knowing Numerous Neighbours},
 editor       = {Roland Meyer and Andr{\'e} Platzer and Heike Wehrheim},
 booktitle    = {Correct System Design},
 series       = {LNCS},
 volume       = {9360},
 publisher    = {Springer},
 pages        = {152--171},
 doi          = {10.1007/978-3-319-23506-6_11},
)
@article(HCS06,
 author       = {Luc C. G. J. M. Habets and Pieter J. Collins and Jan H. van Schuppen},
 year         = {2006},
 title        = {Reachability and control synthesis for piecewise-affine hybrid systems on simplices},
 journal      = {{IEEE} Trans. Automat. Contr.},
 volume       = {51},
 number       = {6},
 pages        = {938--948},
 doi          = {10.1109/TAC.2006.876952},
)
@incollection(HLO13,
 author       = {Martin Hilscher and Sven Linker and Ernst-R{\"u}diger Olderog},
 year         = {2013},
 title        = {Proving Safety of Traffic Manoeuvres on Country Roads},
 editor       = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
 booktitle    = {Theories of Programming and Formal Methods},
 series       = {LNCS},
 volume       = {8051},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-39698-4_12},
)
@inbook(HLOR11,
 author       = {Martin Hilscher and Sven Linker and Ernst-R{\"u}diger Olderog and Anders P. Ravn},
 year         = {2011},
 title        = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
 pages        = {404--419},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-24559-6_28},
)
@inproceedings(HS16,
 author       = {Martin Hilscher and Maike Schwammberger},
 year         = {2016},
 title        = {An Abstract Model for Proving Safety of Autonomous Urban Traffic},
 editor       = {Augusto Sampaio and Farn Wang},
 booktitle    = {Theoretical Aspects of Computing (ICTAC)},
 series       = {LNCS},
 volume       = {9965},
 publisher    = {Springer},
 pages        = {274--292},
 doi          = {10.1007/978-3-319-46750-4_16},
)
@inbook(LMH15,
 author       = {Kim Guldstrand Larsen and Miku{\v{c}}ionis, Marius and Jakob Haahr Taankvist},
 year         = {2015},
 title        = {Safe and Optimal Adaptive Cruise Control},
 pages        = {260--277},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-23506-6_17},
)
@phdthesis(L15,
 author       = {Sven Linker},
 year         = {2015},
 title        = {Proofs for Traffic Safety -- Combining Diagrams and Logic},
 school       = {University of Oldenburg},
)
@inproceedings(L17,
 author       = {Sven Linker},
 year         = {2017},
 title        = {Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL},
 editor       = {Nadia Polikarpova and Steve Schneider},
 booktitle    = {Integrated Formal Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {34--49},
 doi          = {10.1007/978-3-319-66845-1_3},
)
@inproceedings(LP11,
 author       = {Sarah M. Loos and Andr{\'e} Platzer},
 year         = {2011},
 title        = {Safe Intersections: At the Crossing of Hybrid Systems and Verification},
 editor       = {Kyongsu Yi},
 booktitle    = {Intelligent Transportation Systems (ITSC)},
 pages        = {1181--1186},
 doi          = {10.1109/ITSC.2011.6083138},
)
@article(LGS98,
 author       = {J. Lygeros and D.N. Godbole and S.S. Sastry},
 year         = {1998},
 title        = {Verified hybrid controllers for automated vehicles},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {43},
 number       = {4},
 pages        = {522--539},
 doi          = {10.1109/9.664155},
)
@article(MRY02,
 author       = {Thomas Moor and J{\"{o}}rg Raisch and Siu O'Young},
 year         = {2002},
 title        = {Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations},
 journal      = {Discrete Event Dynamic Systems},
 volume       = {12},
 number       = {1},
 pages        = {83--107},
 doi          = {10.1023/A:1013339920783},
)
@article(Mos85,
 author       = {Ben Moszkowski},
 year         = {1985},
 title        = {A Temporal Logic for Multilevel Reasoning About Hardware},
 journal      = {Computer},
 volume       = {18},
 number       = {2},
 pages        = {10--19},
 doi          = {10.1109/MC.1985.1662795},
)
@book(NPW03,
 author       = {T. Nipkow and L.C. Paulson and M. Wenzel},
 year         = {2003},
 title        = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 url          = {https://books.google.de/books?id=xwdqCQAAQBAJ},
)
@inproceedings(O15,
 author       = {Heinrich Ody},
 year         = {2015},
 title        = {Undecidability Results for Multi-Lane Spatial Logic},
 editor       = {Martin Leucker and Camilo Rueda and Frank D. Valencia},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC}},
 series       = {LNCS},
 volume       = {9399},
 publisher    = {Springer},
 pages        = {404--421},
 doi          = {10.1007/978-3-319-25150-9_24},
 url          = {http://theoretica.informatik.uni-oldenburg.de/~sefie/files/mlsl-undec-ictac15.pdf},
)
@inproceedings(OS17,
 author       = {Ernst R{\"{u}}diger Olderog and Maike Schwammberger},
 year         = {2017},
 title        = {Formalising a Hazard Warning Communication Protocol with Timed Automata},
 editor       = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ingólfsdóttir and Axel Legay and Radu Mardare},
 booktitle    = {Models, Algorithms, Logics and Tools},
 series       = {LNCS},
 volume       = {10460},
 publisher    = {Springer},
 pages        = {640--660},
 doi          = {10.1007/978-3-642-39698-4_12},
)
@article(OSR07,
 author       = {U. Ozguner and C. Stiller and K. Redmill},
 year         = {2007},
 title        = {Systems for Safety and Autonomous Behavior in Cars: The {DARPA} Grand Challenge Experience},
 journal      = {Proceedings of the IEEE},
 volume       = {95},
 number       = {2},
 pages        = {397--412},
 doi          = {10.1109/JPROC.2006.888394},
)
@inbook(QS82,
 author       = {J. P. Queille and J. Sifakis},
 year         = {1982},
 title        = {Specification and verification of concurrent systems in CESAR},
 pages        = {337--351},
 publisher    = {Springer},
 doi          = {10.1007/3-540-11494-7_22},
)
@inproceedings(Sch17,
 author       = {Maike Schwammberger},
 year         = {2017},
 title        = {Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres},
 booktitle    = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
 pages        = {59--74},
 doi          = {10.4204/EPTCS.257.7},
)
@inproceedings(WGJG08,
 author       = {M. Werling and T. Gindele and D. Jagszent and L. Groll},
 year         = {2008},
 title        = {A robust algorithm for handling moving traffic in urban scenarios},
 booktitle    = {2008 IEEE Intelligent Vehicles Symposium},
 pages        = {1108--1112},
 doi          = {10.1109/IVS.2008.4621260},
)