@article(alam2014guaranteeing,
 author       = {Assad Alam and Ather Gattami and Karl H Johansson and Claire J Tomlin},
 year         = {2014},
 title        = {Guaranteeing safety for heavy duty vehicle platooning: Safe set computations and experimental evaluations},
 journal      = {Control Engineering Practice},
 volume       = {24},
 pages        = {33--41},
 doi          = {10.1016/j.conengprac.2013.11.003},
)
@misc(aldemiruse,
 author       = {T Aldemir and P Wang},
 year         = {1999},
 title        = {The Use of the Cell-to-Cell Mapping Technique as a Model-Based Diagnostic Tool},
)
@article(aldemir1987computer,
 author       = {Tunc Aldemir},
 year         = {1987},
 title        = {Computer-assisted Markov failure modeling of process control systems},
 journal      = {IEEE Transactions on reliability},
 volume       = {36},
 number       = {1},
 pages        = {133--144},
 doi          = {10.1109/TR.1987.5222318},
)
@article(aldemir1996process,
 author       = {Tunc Aldemir and Mohamed Belhadj and Laurian Dinca},
 year         = {1996},
 title        = {Process reliability and safety under uncertainties},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {52},
 number       = {3},
 pages        = {211--225},
 doi          = {10.1016/0951-8320(95)00133-6},
)
@article(aldemir2010probabilistic,
 author       = {Tunc Aldemir and Sergio Guarro and Diego Mandelli and Jason Kirschenbaum and L Anthony Mangan and Paolo Bucci and Michael Yau and E Ekici and DW Miller and X Sun},
 year         = {2010},
 title        = {Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {95},
 number       = {10},
 pages        = {1011--1039},
 doi          = {10.1016/j.ress.2010.04.011},
)
@article(althoff2014online,
 author       = {Matthias Althoff and John M Dolan},
 year         = {2014},
 title        = {Online verification of automated road vehicles using reachability analysis},
 journal      = {IEEE Transactions on Robotics},
 volume       = {30},
 number       = {4},
 pages        = {903--918},
 doi          = {10.1109/TRO.2014.2312453},
)
@techreport(amberkar2000system,
 author       = {Sanket Amberkar and Joseph G D'Ambrosio and Brian T Murray and Joseph Wysocki and Barbara J Czerny},
 year         = {2000},
 title        = {A system-safety process for by-wire automotive systems},
 type         = {Technical Report},
 institution  = {SAE Technical Paper},
 doi          = {10.4271/2000-01-1056},
)
@article(belhadj1991probabilistic,
 author       = {M Belhadj and T Aldemir},
 year         = {1991},
 title        = {Probabilistic analysis of asymptotic reactor dynamics and the cell-to-cell mapping technique},
 journal      = {Transactions of the American Nuclear Society;(United States)},
 volume       = {63},
 number       = {CONF-911107--},
)
@article(belhadj1995cell,
 author       = {M Belhadj and T Aldemir},
 year         = {1995},
 title        = {The Cell to Cell Mapping technique and Chapman-Kolmogorov representation of system dynamics},
 journal      = {Journal of sound and vibration},
 volume       = {181},
 number       = {4},
 pages        = {687--707},
 doi          = {10.1006/jsvi.1995.0166},
)
@inproceedings(broy2006challenges,
 author       = {Manfred Broy},
 year         = {2006},
 title        = {Challenges in automotive software engineering},
 booktitle    = {Proceedings of the 28th international conference on Software engineering},
 organization = {ACM},
 pages        = {33--42},
 doi          = {10.1145/1134285.1134292},
)
@article(cherfi2014modeling,
 author       = {Abraham Cherfi and Michel Leeman and Florent Meurville and Antoine Rauzy},
 year         = {2014},
 title        = {Modeling automotive safety mechanisms: A Markovian approach},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {130},
 pages        = {42--49},
 doi          = {10.1016/j.ress.2014.04.013},
)
@inproceedings(das2016quantified,
 author       = {Nabarun Das and William Taylor},
 year         = {2016},
 title        = {Quantified fault tree techniques for calculating hardware fault metrics according to ISO 26262},
 booktitle    = {Product Compliance Engineering Proceedings (ISPCE), 2016 IEEE Symposium on},
 organization = {IEEE},
 pages        = {1--8},
 doi          = {10.1109/ISPCE.2016.7492848},
)
@article(dinca1999fault,
 author       = {Laurian Dinca and Tunc Aldemir and Giorgio Rizzoni},
 year         = {1999},
 title        = {Fault detection and identification in dynamic systems with noisy data and parameter/modeling uncertainties},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {65},
 number       = {1},
 pages        = {17--28},
 doi          = {10.1016/S0951-8320(98)00077-5},
)
@incollection(guarro2017formal,
 author       = {Sergio B Guarro and Michael K Yau and Umit Ozguner and Tunc Aldemir and Arda Kurt and Mohammad Hejase and Matt D Knudson},
 year         = {2017},
 title        = {Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems},
 booktitle    = {AIAA Information Systems-AIAA Infotech@ Aerospace},
 pages        = {0418},
 doi          = {10.2514/6.2017-0418},
)
@article(guarro2017risk,
 author       = {Sergio B Guarro and Michael K Yau and Umit Ozguner and Tunc Aldemir and Arda Kurt and Mohammad Hejase and Matt D Knudson},
 year         = {2017},
 title        = {Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification},
 journal      = {SYSTEM},
 volume       = {10},
 number       = {11},
 pages        = {12},
 doi          = {10.2514/6.2017-0910},
)
@incollection(hejase2018dynamic,
 author       = {Mohammad Hejase and Arda Kurt and Tunc Aldemir and Umit Ozguner and Sergio Guarro and Michael K Yau and Matt Knudson},
 year         = {2018},
 title        = {Dynamic Probabilistic Risk Assessment of Unmanned Aircraft Adaptive Flight Control Systems},
 booktitle    = {2018 AIAA Information Systems-AIAA Infotech@ Aerospace},
 pages        = {1982},
 doi          = {10.2514/6.2018-1982},
)
@article(hejase2017quantitative,
 author       = {Mohammad Hejase and Arda Kurt and Tunc Aldemir and Umit Ozguner and Sergio B Guarro and Michael K Yau and Matt D Knudson},
 year         = {2017},
 title        = {Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance},
 journal      = {Journal of Aerospace Information Systems},
 pages        = {1--15},
 doi          = {10.2514/1.I010583},
)
@inproceedings(hejase2016hierarchical,
 author       = {Mohammad Hejase and Abdullah Ersan Oguz and Arda Kurt and Umit Ozguner and Keith Redmill},
 year         = {2016},
 title        = {A Hierarchical Hybrid State System Based Controller Design Approach for an Autonomous UAS Mission},
 booktitle    = {16th AIAA Aviation Technology, Integration, and Operations Conference},
 pages        = {3294},
 doi          = {10.2514/6.2016-3294},
)
@inproceedings(hofmann2015random,
 author       = {Gerhard Hofmann and Georg Scharfenberg},
 year         = {2015},
 title        = {Random Hardware failure compliance of a cell balancing circuit with the requirements of automotive functional safety},
 booktitle    = {Applied Electronics (AE), 2015 International Conference on},
 organization = {IEEE},
 pages        = {61--66},
)
@article(iso201126262,
 author       = {ISO26262 ISO},
 year         = {2011},
 title        = {26262: Road vehicles-Functional safety},
 journal      = {International Standard ISO/FDIS},
 volume       = {26262},
)
@inproceedings(johansson2015importance,
 author       = {Rolf Johansson},
 year         = {2015},
 title        = {The Importance of Active Choices in Hazard Analysis and Risk Assessment},
 booktitle    = {CARS 2015-Critical Automotive applications: Robustness \& Safety},
)
@inproceedings(kelly2004goal,
 author       = {Tim Kelly and Rob Weaver},
 year         = {2004},
 title        = {The goal structuring notation--a safety argument notation},
 booktitle    = {Proceedings of the dependable systems and networks 2004 workshop on assurance cases},
 organization = {Citeseer},
)
@inproceedings(lawitzky2014determining,
 author       = {Andreas Lawitzky and Anselm Nicklas and Dirk Wollherr and Martin Buss},
 year         = {2014},
 title        = {Determining states of inevitable collision using reachability analysis},
 booktitle    = {Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on},
 organization = {IEEE},
 pages        = {4142--4147},
 doi          = {10.1109/IROS.2014.6943146},
)
@inproceedings(loos2011adaptive,
 author       = {Sarah M Loos and Andr{\'e} Platzer and Ligia Nistor},
 year         = {2011},
 title        = {Adaptive cruise control: Hybrid, distributed, and now formally verified},
 booktitle    = {International Symposium on Formal Methods},
 organization = {Springer},
 pages        = {42--56},
 doi          = {10.1007/978-3-642-21437-0_6},
)
@inproceedings(lu2009approach,
 author       = {Caroline Lu and Jean-Charles Fabre and Marc-Olivier Killijian},
 year         = {2009},
 title        = {An approach for improving fault-tolerance in automotive modular embedded software},
 booktitle    = {17th International Conference on Real-Time and Network Systems},
 pages        = {132--147},
)
@article(mitsch2017formal,
 author       = {Stefan Mitsch and Khalil Ghorbal and David Vogelbacher and Andr{\'e} Platzer},
 year         = {2017},
 title        = {Formal verification of obstacle avoidance and navigation of ground robots},
 journal      = {The International Journal of Robotics Research},
 volume       = {36},
 number       = {12},
 pages        = {1312--1340},
 doi          = {10.1177/0278364917733549},
)
@incollection(modarres2016book,
 author       = {Mohammad Modarres and Mark P Kaminskiy and Vasiliy Krivtsov},
 year         = {2016},
 title        = {System Reliability Analysis},
 booktitle    = {Reliability Engineering and Risk Analysis: A Practical Guide},
 publisher    = {CRC Press},
 pages        = {173--242},
)
@inproceedings(najm2007pre,
 author       = {Wassim G Najm and John D Smith and Mikio Yanagisawa},
 year         = {2007},
 title        = {Pre-crash scenario typology for crash avoidance research},
 booktitle    = {DOT HS},
 organization = {Citeseer},
)
@article(nilsson2014verification,
 author       = {Jonas Nilsson and Jonas Fredriksson and Anders CE {\"O}dblom},
 year         = {2014},
 title        = {Verification of collision avoidance systems using reachability analysis},
 journal      = {IFAC Proceedings Volumes},
 volume       = {47},
 number       = {3},
 pages        = {10676--10681},
 doi          = {10.3182/20140824-6-ZA-1003.01567},
)
@inproceedings(oetjens2014safety,
 author       = {J-H Oetjens and Nico Bannow and Markus Becker and Oliver Bringmann and Andreas Burger and Moomen Chaari and Samarjit Chakraborty and Rolf Drechsler and Wolfgang Ecker and Kim Gr{\"u}ttner},
 year         = {2014},
 title        = {Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challenges},
 booktitle    = {Design Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE},
 organization = {IEEE},
 pages        = {1--6},
 doi          = {10.1145/2593069.2602976},
)
@inproceedings(ozguner1990coordination,
 author       = {U Ozguner},
 year         = {1990},
 title        = {Coordination of hierarchical systems},
 booktitle    = {Intelligent Control, 1990. Proceedings., 5th IEEE International Symposium on},
 organization = {IEEE},
 pages        = {2--7},
 doi          = {10.1109/ISIC.1990.128431},
)
@book(ozguner2011autonomous,
 author       = {{\"U}mit {\"O}zg{\"u}ner and Tankut Acarman and Keith Alan Redmill},
 year         = {2011},
 title        = {Autonomous ground vehicles},
 publisher    = {Artech House},
)
@article(park2014hybrid,
 author       = {Jaeyong Park and Arda Kurt and {\"U}mit {\"O}zg{\"u}ner},
 year         = {2014},
 title        = {Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation},
 journal      = {Unmanned Systems},
 volume       = {2},
 number       = {02},
 pages        = {101--119},
 doi          = {10.1142/S2301385014500071},
)
@article(sinha2011architectural,
 author       = {Purnendu Sinha},
 year         = {2011},
 title        = {Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {96},
 number       = {10},
 pages        = {1349--1359},
 doi          = {10.1016/j.ress.2011.03.013},
)
@inproceedings(takeichi2011failure,
 author       = {Masahiko Takeichi and Yoshinobu Sato and Koichi Suyama and Takuya Kawahara},
 year         = {2011},
 title        = {Failure rate calculation with priority FTA method for functional safety of complex automotive subsystems},
 booktitle    = {Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE), 2011 International Conference on},
 organization = {IEEE},
 pages        = {55--58},
 doi          = {10.1109/ICQR2MSE.2011.5976568},
)
@incollection(verma2016probabilistic,
 author       = {Ajit Kumar Verma and Srividya Ajit and Durga Rao Karanki},
 year         = {2016},
 title        = {Probabilistic Safety Assessment},
 booktitle    = {Reliability and Safety Engineering},
 publisher    = {Springer},
 pages        = {333--372},
 doi          = {10.1007/978-1-4471-6269-8_10},
)
@book(weber2009automotive,
 author       = {Julian Weber},
 year         = {2009},
 title        = {Automotive development processes},
 volume       = {303},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-01253-2},
)
@inproceedings(wilwert2005quantitative,
 author       = {C{\'e}dric Wilwert and Simonot-Lion, Fran{\c{c}}oise and Yeqiong Song and Fran{\c{c}}oise Simonot},
 year         = {2005},
 title        = {Quantitative Evaluation of the Safety of X-by-Wire Architecture subject to EMI Perturbations},
 booktitle    = {Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on},
 volume       = {1},
 organization = {IEEE},
 pages        = {8--pp},
 doi          = {10.1109/ETFA.2005.1612601},
)
@article(yang2016algorithm,
 author       = {Jun Yang and Tunc Aldemir},
 year         = {2016},
 title        = {An algorithm for the computationally efficient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk significant scenario identification},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {145},
 pages        = {1--8},
 doi          = {10.1016/j.ress.2015.08.013},
)
@inproceedings(zhang2010model,
 author       = {Hongkun Zhang and Wenjun Li and Wei Chen},
 year         = {2010},
 title        = {Model-based hazard analysis method on automotive programmable electronic system},
 booktitle    = {Biomedical Engineering and Informatics (BMEI), 2010 3rd International Conference on},
 volume       = {7},
 organization = {IEEE},
 pages        = {2658--2661},
 doi          = {10.1109/BMEI.2010.5639860},
)