@incollection(brooks_chapter_2012,
 author       = {Richard R. Brooks and Seok Bae Yun and Juan Deng},
 year         = {2012},
 title        = {Chapter 26 - {{Cyber}}-{{Physical Security}} of {{Automotive Information Technology}}},
 editor       = {Krishna Kant and Nan Zhang},
 booktitle    = {Handbook on {{Securing Cyber}}-{{Physical Critical Infrastructure}}},
 publisher    = {{Morgan Kaufmann}},
 address      = {Boston},
 pages        = {655--676},
 doi          = {10.1016/B978-0-12-415815-3.00026-1},
)
@inproceedings(checkoway_comprehensive_2011,
 author       = {Stephen Checkoway and Damon McCoy and Brian Kantor and Danny Anderson and Hovav Shacham and Stefan Savage and Karl Koscher and Alexei Czeskis and Franziska Roesner and Tadayoshi Kohno},
 year         = {2011},
 title        = {Comprehensive Experimental Analyses of Automotive Attack Surfaces},
 booktitle    = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings},
 publisher    = {{USENIX} Association},
 url          = {http://static.usenix.org/events/sec11/tech/full_papers/Checkoway.pdf},
)
@inproceedings(dossantos_formal_2016,
 author       = {{dos Santos}, Eduardo and Dominik Schoop and Andrew Simpson},
 year         = {2016},
 title        = {Formal Models for Automotive Systems and Vehicular Networks: {{Benefits}} and Challenges},
 booktitle    = {2016 {{IEEE Vehicular Networking Conference}} ({{VNC}})},
 address      = {Columbus, OH, USA},
 pages        = {1--8},
 doi          = {10.1109/VNC.2016.7835940},
)
@inproceedings(DBLP:conf/woot/FosterPKS15,
 author       = {Ian D. Foster and Andrew Prudhomme and Karl Koscher and Stefan Savage},
 year         = {2015},
 title        = {Fast and Vulnerable: {A} Story of Telematic Failures},
 booktitle    = {9th {USENIX} Workshop on Offensive Technologies, {WOOT} '15, Washington, DC, USA, August 10-11, 2014.},
 publisher    = {{USENIX} Association},
 url          = {https://www.usenix.org/conference/woot15/workshop-program/presentation/foster},
)
@article(DBLP:journals/ress/HoppeKD11,
 author       = {Tobias Hoppe and Stefan Kiltz and Jana Dittmann},
 year         = {2011},
 title        = {Security threats to automotive {CAN} networks - Practical examples and selected short-term countermeasures},
 journal      = {Rel. Eng. {\&} Sys. Safety},
 volume       = {96},
 number       = {1},
 pages        = {11--25},
 doi          = {10.1016/j.ress.2010.06.026},
)
@inproceedings(koscher_experimental_2010,
 author       = {Karl Koscher and Alexei Czeskis and Franziska Roesner and Shwetak Patel and Tadayoshi Kohno and Stephen Checkoway and Damon McCoy and Brian Kantor and Danny Anderson and Hovav Shacham and {others}},
 year         = {2010},
 title        = {Experimental Security Analysis of a Modern Automobile},
 booktitle    = {Security and {{Privacy}} ({{SP}}), 2010 {{IEEE Symposium}} On},
 publisher    = {{IEEE}},
 pages        = {447--462},
 doi          = {10.1109/SP.2010.34},
)
@inproceedings(laux_demo_2016,
 author       = {Sven Laux and Gurjashan Singh Pannu and Stefan Schneider and Jan Tiemann and Florian Klingler and Christoph Sommer and Falko Dressler},
 year         = {2016},
 title        = {Demo: {{OpenC2X}} \textemdash{} {{An}} Open Source Experimental and Prototyping Platform Supporting {{ETSI ITS}}-{{G5}}},
 booktitle    = {2016 {{IEEE Vehicular Networking Conference}} ({{VNC}})},
 pages        = {1--2},
 doi          = {10.1109/VNC.2016.7835955},
)
@article(miller_adventures_2013,
 author       = {Charlie Miller and Chris Valasek},
 year         = {2013},
 title        = {Adventures in Automotive Networks and Control Units},
 journal      = {DEF CON},
 volume       = {21},
 pages        = {260--264},
)
@article(miller_survey_2014,
 author       = {Charlie Miller and Chris Valasek},
 year         = {2014},
 title        = {A {{Survey}} of {{Remote}} {{Automotive Attack Surfaces}}},
 journal      = {Black Hat USA},
 volume       = {2014},
 pages        = {94},
)
@article(miller_remote_2015,
 author       = {Charlie Miller and Chris Valasek},
 year         = {2015},
 title        = {Remote {{Exploitation}} of an {{Unaltered Passenger Vehicle}}},
 journal      = {Black Hat USA},
 volume       = {2015},
 pages        = {91},
)
@article(mokhtar_survey_2015,
 author       = {Bassem Mokhtar and Mohamed Azab},
 year         = {2015},
 title        = {Survey on {{Security Issues}} in {{Vehicular Ad Hoc Networks}}},
 journal      = {Alexandria Engineering Journal},
 volume       = {54},
 number       = {4},
 pages        = {1115--1126},
 doi          = {10.1016/j.aej.2015.07.011},
)
@inproceedings(mundhenk_security_2015,
 author       = {Philipp Mundhenk and Sebastian Steinhorst and Martin Lukasiewycz and Suhaib A. Fahmy and Samarjit Chakraborty},
 year         = {2015},
 title        = {Security {{Analysis}} of {{Automotive Architectures Using Probabilistic Model Checking}}},
 booktitle    = {Proceedings of the {{52Nd Annual Design Automation Conference}}},
 series       = {DAC '15},
 publisher    = {{ACM}},
 address      = {New York, NY, USA},
 pages        = {38:1--38:6},
 doi          = {10.1145/2744769.2744906},
)
@misc(oxforduniversity_fdr4_2017,
 author       = {{Oxford University}},
 year         = {2017},
 title        = {{{FDR4}} - {{The CSP Refinement Checker}}},
 howpublished = {\url{https://www.cs.ox.ac.uk/projects/fdr/}},
)
@inproceedings(petit_revisiting_2014,
 author       = {Jonathan Petit and Michael Feiri and Frank Kargl},
 year         = {2014},
 title        = {Revisiting Attacker Model for Smart Vehicles},
 booktitle    = {Wireless {{Vehicular Communications}} ({{WiVeC}}), 2014 {{IEEE}} 6th {{International Symposium}} On},
 publisher    = {{IEEE}},
 pages        = {1--5},
 doi          = {10.1109/WIVEC.2014.6953258},
)
@article(petit_potential_2015,
 author       = {Jonathan Petit and Steven E. Shladover},
 year         = {2015},
 title        = {Potential {{Cyberattacks}} on {{Automated Vehicles}}},
 journal      = {IEEE Transactions on Intelligent Transportation Systems},
 volume       = {16},
 number       = {2},
 pages        = {546--556},
 doi          = {10.1109/TITS.2014.2342271},
)
@inproceedings(ran_modeling_2014,
 author       = {Q. Ran and X. Wu and X. Li and J. Shi and J. Guo and H. Zhu},
 year         = {2014},
 title        = {Modeling and {{Verifying}} the {{TTCAN Protocol Using Timed CSP}}},
 booktitle    = {2014 {{Theoretical Aspects}} of {{Software Engineering Conference}}},
 pages        = {90--97},
 doi          = {10.1109/TASE.2014.8},
)
@inproceedings(seshia_formal_2015,
 author       = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry},
 year         = {2015},
 title        = {Formal Methods for Semi-Autonomous Driving},
 volume       = {2015-July},
 doi          = {10.1145/2744769.2747927},
)
@article(shin_illusion_2017,
 author       = {Hocheol Shin and Dohyun Kim and Yujin Kwon and Yongdae Kim},
 year         = {2017},
 title        = {Illusion and {{Dazzle}}: {{Adversarial Optical Channel Exploits}} against {{Lidars}} for {{Automotive Applications}}},
 doi          = {10.1007/978-3-642-40349-1\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}4},
)
@inproceedings(siegl_formal_2011,
 author       = {Sebastian Siegl and Kai-Steffen Hielscher and Reinhard German and Christian Berger},
 year         = {2011},
 title        = {Formal Specification and Systematic Model-Driven Testing of Embedded Automotive Systems},
 booktitle    = {Design, {{Automation}} \& {{Test}} in {{Europe Conference}} \& {{Exhibition}} ({{DATE}}), 2011},
 publisher    = {{IEEE}},
 pages        = {1--6},
 doi          = {10.1109/DATE.2011.5763028},
)
@book(sommer_vehicular_2015,
 author       = {Christoph Sommer and Falko Dressler},
 year         = {2015},
 title        = {Vehicular Networking},
 publisher    = {{Cambridge : Cambridge University Press}},
 doi          = {10.1017/CBO9781107110649},
)
@book(tassinternational_prescan_2017,
 author       = {{TASS International}},
 year         = {2017},
 title        = {{{PreScan Version}} 8.1.0},
)
@misc(thielman_someone_2016,
 author       = {Sam Thielman},
 year         = {2016},
 title        = {'{{Someone}} Is Going to Die': Experts Warn Lawmakers over Self-Driving Cars},
 howpublished = {\url{http://www.theguardian.com/technology/2016/mar/15/self-driving-cars-danger-senate-general-motors-google}},
)
@misc(vector_canoe_2017,
 author       = {{Vector}},
 year         = {11/8/17},
 title        = {{{CANoe}} - {{ECU Development}} \& {{Test}}},
 howpublished = {\url{https://vector.com/vi_canoe_en.html}},
)
@misc(vector_capl_2017,
 author       = {{Vector}},
 year         = {7/11/17},
 title        = {{{CAPL Documentation}} - {{Vector}} :: {{KnowledgeBase}}},
 howpublished = {\url{https://kb.vector.com/entry/48/}},
)
@inproceedings(waraus_steerbywire_2009,
 author       = {D. Waraus},
 year         = {2009},
 title        = {Steer-by-Wire System Based on {{FlexRay}} Protocol},
 booktitle    = {2009 {{Applied Electronics}}},
 pages        = {269--272},
)
@inproceedings(zheng_verification_2015,
 author       = {X. Zheng and C. Julien},
 year         = {2015},
 title        = {Verification and {{Validation}} in {{Cyber Physical Systems}}: {{Research Challenges}} and a {{Way Forward}}},
 pages        = {15--18},
 doi          = {10.1109/SEsCPS.2015.11},
)