@misc(boudette-21,
 author       = {Neil Boudette},
 year         = {2021},
 title        = {{``It Happened So Fast'': Inside a Fatal Tesla Autopilot Accident}},
 howpublished = {\url{https://www.nytimes.com/2021/08/17/business/tesla-autopilot-accident.html}},
)
@inproceedings(Bulychev-et-al-12,
 author       = {Peter E. Bulychev and Alexandre David and Kim Guldstrand Larsen and Marius Mikucionis and Danny B{\o}gsted Poulsen and Axel Legay and Zheng Wang},
 year         = {2012},
 title        = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
 editor       = {Herbert Wiklicky and Mieke Massink},
 booktitle    = {Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems ({QAPL}'2012), Tallinn, Estonia},
 series       = {{EPTCS}},
 volume       = {85},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.85.1},
)
@unpublished(Champelovier-Clerc-Garavel-et-al-10-v7.0,
 author       = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Christine McKinty and Vincent Powazny and Fr\'ed\'eric Lang and Wendelin Serwe and Gideon Smeding},
 year         = {2021},
 title        = {{Reference Manual of the LNT to LOTOS Translator (Version 7.0)}},
 note         = {{INRIA}, Grenoble, France},
)
@inproceedings(chen2021formal,
 author       = {Biao Chen and TengFei Li},
 year         = {2021},
 title        = {Formal Modeling and Verification of Autonomous Driving Scenario},
 booktitle    = {Proceedings of the International Information Communication and Software Engineering (ICICSE'2021)},
 organization = {IEEE},
 pages        = {313--321},
 doi          = {10.1109/ICICSE52190.2021.9404128},
)
@inproceedings(Dosovitskiy17,
 author       = {Alexey Dosovitskiy and German Ros and Felipe Codevilla and Antonio Lopez and Vladlen Koltun},
 year         = {2017},
 title        = {{CARLA}: {An} Open Urban Driving Simulator},
 booktitle    = {1st Annual Conference on Robot Learning},
 pages        = {1--16},
 url          = {https://arxiv.org/abs/1711.03938},
)
@inproceedings(Fremont-Dreossi-Ghosh-et-al-19,
 author       = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Sangiovanni-Vincentelli, Alberto L. and Sanjit A. Seshia},
 year         = {2019},
 title        = {{Scenic: A Language for Scenario Specification and Scene Generation}},
 booktitle    = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {63--78},
 doi          = {10.1145/3314221.3314633},
)
@article(Garavel-Lang-Mateescu-Serwe-13,
 author       = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu and Wendelin Serwe},
 year         = {2013},
 title        = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}},
 journal      = {Springer International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {15},
 number       = {2},
 pages        = {89--107},
 doi          = {10.1007/s10009-012-0244-z},
)
@inproceedings(Garavel-Lang-Serwe-17,
 author       = {Hubert Garavel and Fr\'ed\'eric Lang and Wendelin Serwe},
 year         = {2017},
 title        = {{From LOTOS to LNT}},
 booktitle    = {ModelEd, TestEd, TrustEd -- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {10500},
 publisher    = {Springer},
 pages        = {3--26},
 doi          = {10.1007/978-3-319-68270-9\_1},
)
@inproceedings(Horel-Laugier-Marsso-Mateescu-Muller-Paigwar-Renzaglia-Serwe-22,
 author       = {Jean-Baptiste Horel and Christian Laugier and Lina Marsso and Radu Mateescu and Lucie Muller and Anshul Paigwar and Alessandro Renzaglia and Wendelin Serwe},
 year         = {2022},
 title        = {{Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles}},
 booktitle    = {Proceedings of the 25th International Conference on Design, Automation \& Test in Europe: Autonomous Systems Design DATE ASD'2022},
 series       = {IEEE},
 volume       = {000},
 publisher    = {Springer},
 pages        = {06},
)
@inproceedings(Ingrand-19,
 author       = {F{\'{e}}lix Ingrand},
 year         = {2019},
 title        = {Recent Trends in Formal Validation and Verification of Autonomous Robots Software},
 booktitle    = {Proceedings of the 3rd International Conference on Robotic Computing (IRC'19), Naples, Italy},
 publisher    = {{IEEE}},
 pages        = {321--328},
 doi          = {10.1109/IRC.2019.00059},
)
@phdthesis(Jebali-16,
 author       = {Fatma Jebali},
 year         = {2016},
 title        = {{Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems}},
 school       = {Grenoble Alpes University, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01679311},
)
@article(Jebali-Lang-Mateescu-16,
 author       = {Fatma Jebali and Fr\'{e}d\'{e}ric Lang and Radu Mateescu},
 year         = {2016},
 title        = {{Formal Modelling and Verification of GALS systems using GRL and CADP}},
 journal      = {Formal Aspects of Computing},
 volume       = {28},
 number       = {5},
 pages        = {767--804},
 doi          = {10.1007/s00165-016-0373-3},
)
@phdthesis(Marsso-19,
 author       = {Lina Marsso},
 year         = {2019},
 title        = {On Model-based Testing of {GALS} Systems. (Etude de g{\'{e}}n{\'{e}}ration de tests {\`{a}} partir d'un mod{\`{e}}le pour les syst{\`{e}}mes {GALS)}},
 school       = {Grenoble Alpes University, France},
 url          = {https://tel.archives-ouvertes.fr/tel-02948083},
)
@inproceedings(Marsso-Mateescu-Parissis-Serwe-19,
 author       = {Lina Marsso and Radu Mateescu and Ioannis Parissis and Wendelin Serwe},
 year         = {2019},
 title        = {Asynchronous Testing of Synchronous Components in {GALS} Systems},
 editor       = {Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa},
 booktitle    = {Proceedings of the 15th International Conference on Integrated Formal Methods ({IFM}'2019), Bergen, Norway},
 series       = {LNS},
 volume       = {11918},
 publisher    = {Springer},
 pages        = {360--378},
 doi          = {10.1007/978-3-030-34968-4\_20},
)
@inproceedings(Marsso-Mateescu-Serwe-18,
 author       = {Lina Marsso and Radu Mateescu and Wendelin Serwe},
 year         = {2018},
 title        = {{TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation}},
 editor       = {Dirk Beyer and Marieke Huisman},
 booktitle    = {Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Thessaloniki, Greece},
 series       = {Lecture Notes in Computer Science},
 volume       = {10806},
 publisher    = {Springer},
 pages        = {211--228},
 doi          = {10.1007/978-3-319-89963-3\_13},
)
@inproceedings(Marsso-Mateescu-Serwe-20,
 author       = {Lina Marsso and Radu Mateescu and Wendelin Serwe},
 year         = {2020},
 title        = {{Automated Transition Coverage in Behavioural Conformance Testing}},
 booktitle    = {{32nd IFIP Int. Conference on Testing Software and Systems (ICTSS'20)}},
 pages        = {219--235},
 doi          = {10.1007/978-3-030-64881-7\_14},
)
@inproceedings(Mateescu-Thivolle-08,
 author       = {Radu Mateescu and Damien Thivolle},
 year         = {2008},
 title        = {A Model Checking Language for Concurrent Value-Passing Systems},
 editor       = {Jorge Cu{\'{e}}llar and T. S. E. Maibaum and Kaisa Sere},
 booktitle    = {Proceedings of the 15th International Symposium on Formal Methods (FM'08), Turku, Finland},
 series       = {Lecture Notes in Computer Science},
 volume       = {5014},
 publisher    = {Springer},
 pages        = {148--164},
 doi          = {10.1007/978-3-540-68237-0\_12},
)
@article(Riedmaier-et-al-20,
 author       = {Stefan Riedmaier and Thomas Ponn and Dieter Ludwig and Bernhard Schick and Frank Diermeyer},
 year         = {2020},
 title        = {Survey on Scenario-Based Safety Assessment of Automated Vehicles},
 journal      = {{IEEE} Access},
 volume       = {8},
 pages        = {87456--87477},
 doi          = {10.1109/ACCESS.2020.2993730},
)
@techreport(UNECE-21,
 author       = {World Forum for the Harmonization of Vehicle Regulations},
 year         = {2021},
 title        = {New Assessment/Test Method for Automated Driving (NATM) - Master Document},
 type         = {Technical Report},
 institution  = {UNECE},
 url          = {https://unece.org/transport/documents/2021/04/working-documents/grva-new-assessmenttest-method-automated-driving-natm},
)