@manual(ref9,
 organization = {Adelard},
 address      = {London, United Kingdom},
 year         = {1998},
 title        = {The {Adelard} safety case development (ASCAD)},
 url          = {https://www.adelard.com/resources/ascad.html},
 note         = {[Available upon request]},
)
@book(ref23,
 author       = {{\r A}str{\"o}m, Karl J. and Bj{\"o}rn Wittenmark},
 year         = {2013},
 title        = {Adaptive Control},
 edition      = {2nd},
 series       = {Dover Books on Electrical Engineering},
 publisher    = {Dover Publications},
)
@article(ref22,
 author       = {Paul Attie and Eduard Baranov and Simon Bliudze and Mohamad Jaber and Joseph Sifakis},
 year         = {2016},
 title        = {A general framework for architecture composability},
 journal      = {Formal Aspects of Computing},
 volume       = {28},
 number       = {2},
 pages        = {207--231},
 doi          = {10.1007/s00165-015-0349-8},
)
@article(ref8,
 author       = {Ananda Basu and Saddek Bensalem and Marius Bozga and Jacques Combaz and Mohamad Jaber and Thanh-Hung Nguyen and Joseph Sifakis},
 year         = {2011},
 title        = {Rigorous Component-Based System Design Using the {BIP} Framework},
 journal      = {IEEE Software},
 volume       = {28},
 number       = {3},
 pages        = {41--48},
 doi          = {10.1109/MS.2011.27},
)
@article(ref17,
 author       = {Simon Bliudze and S{\'e}bastien Furic and Joseph Sifakis and Antoine Viel},
 year         = {2017},
 title        = {Rigorous design of cyber-physical systems},
 journal      = {Software {\&} Systems Modeling},
 pages        = {1--24},
 doi          = {10.1007/s10270-017-0642-5},
)
@book(ref20,
 author       = {Roderick Bloem and Swen Jacobs and Ayrat Khalimov and Igor Konnov and Sasha Rubin and Helmut Veith and Josef Widder},
 year         = {2015},
 title        = {Decidability of Parameterized Verification},
 series       = {Synthesis Lectures on Distributed Computing Theory},
 publisher    = {Morgan \& Claypool Publishers},
 doi          = {10.2200/S00658ED1V01Y201508DCT013},
)
@article(ref1,
 author       = {Vinton G. Cerf},
 year         = {2017},
 title        = {Take Two Aspirin and Call Me in the Morning},
 journal      = {Commun. ACM},
 volume       = {60},
 number       = {9},
 pages        = {6--6},
 doi          = {10.1145/3130331},
)
@article(ref12,
 author       = {Edmund M. Clarke and E. Allen Emerson and Joseph Sifakis},
 year         = {2009},
 title        = {Model Checking: Algorithmic Verification and Debugging},
 journal      = {Commun. ACM},
 volume       = {52},
 number       = {11},
 pages        = {74--84},
 doi          = {10.1145/1592761.1592781},
)
@inproceedings(ref26,
 author       = {Jacques Combaz and Jean-Claude Fernandez and Thierry Lepley and Joseph Sifakis},
 year         = {2005},
 title        = {QoS Control for Optimality and Safety},
 booktitle    = {Proceedings of the 5th ACM International Conference on Embedded Software},
 series       = {EMSOFT '05},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {90--99},
 doi          = {10.1145/1086228.1086247},
)
@article(ref25,
 author       = {Jacques Combaz and Jean-Claude Fernandez and Joseph Sifakis and Lo{\"i}c Strus},
 year         = {2008},
 title        = {Symbolic quality control for multimedia applications},
 journal      = {Real-Time Systems},
 volume       = {40},
 number       = {1},
 pages        = {1--43},
 doi          = {10.1007/s11241-008-9049-2},
)
@article(ref16,
 author       = {De Millo, Richard A. and Richard J. Lipton and Alan J. Perlis},
 year         = {1979},
 title        = {Social Processes and Proofs of Theorems and Programs},
 journal      = {Commun. ACM},
 volume       = {22},
 number       = {5},
 pages        = {271--280},
 doi          = {10.1145/359104.359106},
)
@article(ref18,
 author       = {{De Nicola}, Rocco and Alessandro {Maggi} and Joseph {Sifakis}},
 year         = {2018},
 title        = {{DReAM}: Dynamic Reconfigurable Architecture Modeling (full paper)},
 journal      = {ArXiv e-prints},
 number       = {arXiv:1805.03724 [cs:FL]},
 url          = {https://arxiv.org/abs/1805.03724},
)
@techreport(ref19,
 author       = {{El Ballouli}, Rim and Saddek Bensalem and Marius Bozga and Joseph Sifakis},
 year         = {2018},
 title        = {{DR-BIP}\mdash Programming Dynamic Reconfigurable Systems},
 type         = {Technical Report},
 number       = {TR-2018-3},
 institution  = {{Verimag} Research Report},
)
@misc(ref4,
 author       = {Darrell Etherington},
 year         = {2018},
 title        = {Uber self-driving test car involved in accident resulting in pedestrian death},
 howpublished = {TechCrunch article},
 url          = {http://tcrn.ch/2GJjrYT},
 note         = {[Online; accessed 03-June-2018]},
)
@article(ref21,
 author       = {Steven M. German and A. Prasad Sistla},
 year         = {1992},
 title        = {Reasoning About Systems with Many Processes},
 journal      = {J. ACM},
 volume       = {39},
 number       = {3},
 pages        = {675--735},
 doi          = {10.1145/146637.146681},
)
@article(ref24,
 author       = {Samuel Greengard},
 year         = {2016},
 title        = {Cybersecurity Gets Smart},
 journal      = {Commun. ACM},
 volume       = {59},
 number       = {5},
 pages        = {29--31},
 doi          = {10.1145/2898969},
)
@book(ref10,
 author       = {Nicolas Halbwachs},
 year         = {1993},
 title        = {Synchronous Programming of Reactive Systems},
 publisher    = {Springer, Boston, MA},
 doi          = {10.1007/978-1-4757-2231-4},
)
@misc(ref2,
 author       = {Daniel Howley},
 year         = {2018},
 title        = {Warren Buffett: 'Cyber is uncharted territory and it's going to get worse, not better'},
 howpublished = {Yahoo Finance article},
 url          = {https://finance.yahoo.com/news/warren-buffett-cyber-uncharted-territory-going-get-worse-not-better-164025140.html},
 note         = {[Online; accessed 03-June-2018]},
)
@article(ref3,
 author       = {Ivar Jacobson and Ed Seidewitz},
 year         = {2014},
 title        = {A New Software Engineering},
 journal      = {Commun. ACM},
 volume       = {57},
 number       = {12},
 pages        = {49--54},
 doi          = {10.1145/2677034},
)
@techreport(ref30,
 author       = {Nidhi Kalra and Susan M. Paddock},
 year         = {2016},
 title        = {Driving to Safety: How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability?},
 type         = {Technical Report},
 number       = {RR-1478-RC},
 institution  = {RAND Corporation},
 address      = {Santa Monica, Calif.},
 doi          = {10.7249/RR1478},
 url          = {https://www.rand.org/pubs/research_reports/RR1478.html},
 note         = {[Online; accessed 03-June-2018]},
)
@misc(ref31,
 author       = {Timothy B. Lee},
 year         = {2018},
 title        = {Intel's Mobileye wants to dominate driverless cars\mdash but there's a problem},
 howpublished = {Ars Technica article},
 url          = {https://arstechnica.com/?post_type=post&p=1310863},
 note         = {[Online; accessed 03-June-2018]},
)
@article(suggested-ref,
 author       = {Ivano Malavolta and Patricia Lago and Henry Muccini and Patrizio Pelliccione and Antony Tang},
 year         = {2013},
 title        = {What Industry Needs from Architectural Languages: A Survey},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {39},
 number       = {6},
 pages        = {869--891},
 doi          = {10.1109/TSE.2012.74},
)
@manual(ref15,
 author       = {{National Highway Traffic Safety Administration}},
 year         = {2016},
 title        = {Federal Automated Vehicles Policy, Accelerating the Next Revolution In Roadway Safety},
 organization = {United States Department of Transportation},
 address      = {Washington, D.C., United States},
 url          = {http://www.safetyresearch.net/Library/Federal_Automated_Vehicles_Policy.pdf},
)
@misc(ref14,
 author       = {Alfred Ng},
 year         = {2018},
 title        = {Google, Microsoft find another Spectre, Meltdown flaw},
 howpublished = {CNET article},
 url          = {https://cnet.co/2kfledW},
 note         = {[Online; accessed 03-June-2018]},
)
@article(ref29,
 author       = {{Shalev-Shwartz}, Shai and Shaked {Shammah} and Amnon {Shashua}},
 year         = {2017},
 title        = {On a Formal Model of Safe and Scalable Self-driving Cars},
 journal      = {ArXiv e-prints},
 number       = {arXiv:1708.06374v2 [cs.RO]},
 url          = {https://arxiv.org/abs/1708.06374v2},
)
@article(ref7,
 author       = {Joseph Sifakis},
 year         = {2013},
 title        = {Rigorous System Design},
 journal      = {Foundations and Trends{\textregistered} in Electronic Design Automation},
 volume       = {6},
 number       = {4},
 pages        = {293--362},
 doi          = {10.1561/1000000034},
)
@article(ref6,
 author       = {Joseph Sifakis},
 year         = {2015},
 title        = {System Design Automation: Challenges and Limitations},
 journal      = {Proceedings of the IEEE},
 volume       = {103},
 number       = {11},
 pages        = {2093--2103},
 doi          = {10.1109/JPROC.2015.2484060},
)
@inproceedings(ref28,
 author       = {Stefanos Skalistis and Alena Simalatsar},
 year         = {2017},
 title        = {Near-optimal deployment of dataflow applications on many-core platforms with real-time guarantees},
 booktitle    = {Design, Automation and Test in Europe Conference Exhibition (DATE), 2017},
 pages        = {752--757},
 doi          = {10.23919/DATE.2017.7927090},
)
@book(ref11,
 author       = {David A. Watt and Brian A. Wichmann and William Findlay},
 year         = {1987},
 title        = {Ada Language and Methodology},
 publisher    = {Prentice Hall International (UK) Ltd.},
 address      = {Hertfordshire, UK},
)
@misc(ref5,
 author       = {{Wikipedia contributors}},
 year         = {2018},
 title        = {Autonomous car\mdash{W}ikipedia{,} The Free Encyclopedia},
 url          = {https://en.wikipedia.org/w/index.php?title=Autonomous_car&oldid=843974758},
 note         = {[Online; accessed 03-June-2018]},
)
@article(ref27,
 author       = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"{o}m},
 year         = {2008},
 title        = {The Worst-case Execution-time Problem\mdash Overview of Methods and Survey of Tools},
 journal      = {ACM Trans. Embed. Comput. Syst.},
 volume       = {7},
 number       = {3},
 pages        = {36:1--36:53},
 doi          = {10.1145/1347375.1347389},
)
@article(ref13,
 author       = {Ali Zolghadri},
 year         = {2012},
 title        = {Advanced model-based {FDIR} techniques for aerospace systems: Today challenges and opportunities},
 journal      = {Progress in Aerospace Sciences},
 volume       = {53},
 pages        = {18--29},
 doi          = {10.1016/j.paerosci.2012.02.004},
)