@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(alvesformalisation2020,
 author       = {Gleifer Vaz Alves and Louise Dennis and Michael Fisher},
 year         = {2020},
 title        = {Formalisation and {Implementation} of {Road} {Junction} {Rules} on an {Autonomous} {Vehicle} {Modelled} as an {Agent}},
 booktitle    = {Formal {Methods}. {FM} 2019 {International} {Workshops}},
 series       = {Lecture {Notes} in {Computer} {Science}},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {217--232},
 doi          = {10.1007/978-3-030-54994-7\_16},
)
@article(jsan10030041,
 author       = {Gleifer Vaz Alves and Louise Dennis and Michael Fisher},
 year         = {2021},
 title        = {A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations},
 journal      = {Journal of Sensor and Actuator Networks},
 volume       = {10},
 number       = {3},
 doi          = {10.3390/jsan10030041},
 url          = {https://www.mdpi.com/2224-2708/10/3/41},
)
@inproceedings(BDL04,
 author       = {Gerd Behrmann and Alexandre David and Kim G. Larsen},
 year         = {2004},
 title        = {A Tutorial on Uppaal},
 booktitle    = {Formal Methods for the Design of Real-Time Systems},
 publisher    = {Springer},
 pages        = {200--236},
 doi          = {10.1007/978-3-540-30080-9\_7},
)
@inproceedings(BS19,
 author       = {Christopher Bischopink and Maike Schwammberger},
 year         = {2019},
 title        = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
 booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12232},
 publisher    = {Springer},
 pages        = {249--264},
 doi          = {10.1007/978-3-030-54994-7\_18},
)
@article(Bonnefon16,
 author       = {Jean-Fran{\c c}ois Bonnefon and Azim Shariff and Iyad Rahwan},
 year         = {2016},
 title        = {The social dilemma of autonomous vehicles},
 journal      = {Science},
 volume       = {352},
 number       = {6293},
 pages        = {1573--1576},
 doi          = {10.1126/science.aaf2654},
 eprint       = {http://science.sciencemag.org/content/352/6293/1573.full.pdf},
)
@book(bratman:87a,
 author       = {Michael E. Bratman},
 year         = {1987},
 title        = {Intentions, Plans, and Practical Reason},
 publisher    = {Harvard University Press},
 doi          = {10.2307/2185304},
)
@misc(stvo,
 author       = {{Bundesrepublik Deutschland}},
 year         = {2013},
 title        = {Straßenverkehrsordnung (StVO)},
 url          = {https://www.gesetze-im-internet.de/stvo_2013/index.html},
)
@article(DH01,
 author       = {Werner Damm and David Harel},
 year         = {2001},
 title        = {{LSCs}: Breathing Life into Message Sequence Charts},
 journal      = {Formal Methods in System Design},
 volume       = {19},
 number       = {1},
 pages        = {45--80},
 doi          = {10.1023/A:1011227529550},
)
@inproceedings(DMPR18,
 author       = {Werner Damm and Eike M{\"{o}}hlmann and Thomas Peikenkamp and Astrid Rakow},
 year         = {2018},
 title        = {A Formal Semantics for Traffic Sequence Charts},
 booktitle    = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday},
 publisher    = {Springer},
 pages        = {182--205},
 doi          = {10.1007/978-3-319-95246-8\_11},
)
@techreport(dennis17gwen,
 author       = {Louise A. Dennis},
 year         = {2017},
 title        = {Gwendolen Semantics: 2017},
 type         = {Technical Report},
 number       = {ULCS-17-001},
 institution  = {University of Liverpool, Department of Computer Science},
)
@article(Dennis:2012,
 author       = {Louise A. Dennis and Michael Fisher and Matthew P. Webster and Rafael H. Bordini},
 year         = {2012},
 title        = {{Model Checking Agent Programming Languages}},
 journal      = {Automated Software Engineering},
 volume       = {19},
 number       = {1},
 pages        = {5--63},
 doi          = {10.1007/s10515-011-0088-x},
)
@misc(departmentForTransportUsing2017,
 author       = {{Department for Transport}},
 year         = {2017},
 title        = {Using the road (159 to 203) - {The} {Highway} {Code} - {Guidance} - {GOV}.{UK}},
 url          = {https://www.gov.uk/guidance/the-highway-code/using-the-road-159-to-203},
)
@book(uml,
 author       = {Martin Fowler},
 year         = {2003},
 title        = {UML Distilled: A Brief Guide to the Standard Object Modeling Language},
 edition      = {3},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {USA},
)
@book(flowchart,
 author       = {Frank B. Gilbreth and Lillian M. Gilbreth},
 year         = {1921},
 title        = {Process Charts},
 publisher    = {The American Society of Mechanical Engineers},
 address      = {New York, USA},
 url          = {https://www.thegilbreths.com/resources/Gilbreth-Process-Charts-1921.pdf},
)
@misc(OS,
 author       = {IRES Simulationstechnologie GmbH.},
 year         = {2022},
 title        = {OpenSCENARIO},
 url          = {http://www.openscenario.org},
 note         = {Accessed: 2022-08-05},
)
@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},
)
@incollection(ORW17,
 author       = {Ernst{-}R{\"{u}}diger Olderog and Anders P. Ravn and Rafael Wisniewski},
 year         = {2017},
 title        = {Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers},
 editor       = {Michael G. Hinchey and Jonathan P. Bowen and Ernst{-}R{\"{u}}diger Olderog},
 booktitle    = {Provably Correct Systems},
 series       = {{NASA} Monographs in Systems and Software Engineering},
 publisher    = {Springer},
 pages        = {95--120},
 doi          = {10.1007/978-3-319-48628-4\_5},
)
@article(Sch18-TCS,
 author       = {Maike Schwammberger},
 year         = {2018},
 title        = {An abstract model for proving safety of autonomous urban traffic},
 journal      = {Theoretical Computer Science},
 volume       = {744},
 pages        = {143--169},
 doi          = {10.1016/j.tcs.2018.05.028},
)
@inproceedings(SchwammbergerAlves21,
 author       = {Maike Schwammberger and Gleifer Vaz Alves},
 year         = {2021},
 title        = {Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules},
 booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems, {FMAS} 2021, Virtual, 21st-22nd of October 2021},
 series       = {{EPTCS}},
 volume       = {348},
 pages        = {1--19},
 doi          = {10.4204/EPTCS.348.1},
)