{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T09:39:45Z","timestamp":1785577185212,"version":"3.56.0"},"reference-count":203,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"IoT4CPS"},{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2891969","type":"journal-article","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T19:51:32Z","timestamp":1547149892000},"page":"13260-13283","source":"Crossref","is-referenced-by-count":116,"title":["A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8719-8667","authenticated-orcid":false,"given":"Denise","family":"Ratasich","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Faiq","family":"Khalid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"Geissler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Muhammad","family":"Shafique","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744849"},{"key":"ref172","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2018.8387659"},{"key":"ref171","article-title":"Knowledge-based dynamic reconfiguration for embedded real-rime systems","author":"h\u00f6ftberger","year":"2015"},{"key":"ref174","author":"miller","year":"2014","journal-title":"Anonymous Byzantine Consensus from Moderately-Hard Puzzles A Model for Bitcoin"},{"key":"ref173","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref176","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC.2018.8377385"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2017.7917634"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1109\/ICUEPES.2011.6497754"},{"key":"ref177","first-page":"471","article-title":"Safeguarding structural controllability in cyber-physical control systems","author":"alcaraz","year":"2016","journal-title":"Computers and Security"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593094"},{"key":"ref169","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488755"},{"key":"ref39","author":"isermann","year":"2006","journal-title":"Fault-Diagnosis Systems An Introduction from Fault Detection to Fault Tolerance"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2703172"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.02.001"},{"key":"ref32","first-page":"1","article-title":"Software engineering for self-adaptive systems: A research roadmap","author":"cheng","year":"2009","journal-title":"Software Engineering for Self-Adaptive Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-0715-6"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47474-8_1"},{"key":"ref35","author":"weyns","year":"2017","journal-title":"Software engineering of self-adaptive systems an organised tour and future challenges"},{"key":"ref34","first-page":"1","author":"de lemos","year":"2013","journal-title":"Software Engineering for Self-Adaptive Systems A Second Research Roadmap"},{"key":"ref181","first-page":"617","article-title":"Veriphy: Verified controller executables from verified cyber-physical system models","author":"bohrer","year":"2018","journal-title":"Proc ACM SIGPLAN Conf Prog Lang Design and Implement"},{"key":"ref180","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67425-4_12"},{"key":"ref185","article-title":"Design and analysis of secure and dependable automotive CPS: A steer-by-wire case study","author":"munir","year":"0","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"ref184","author":"kang","year":"2018","journal-title":"Model-based verification and validation of an autonomous vehicle system"},{"key":"ref183","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2696031"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2016.7860484"},{"key":"ref189","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2018.8474192"},{"key":"ref188","author":"hasani","year":"2018","journal-title":"Re-purposing compact neuronal circuit policies to govern reinforcement learning tasks"},{"key":"ref187","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2017.0387"},{"key":"ref186","first-page":"1","article-title":"A study on smart factory-based ambient intelligence context-aware intrusion detection system using machine learning","volume":"9","author":"park","year":"2018","journal-title":"J Ambient Intell Humanized Comput"},{"key":"ref28","author":"kopetz","year":"2011","journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2016.102"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-75632-5","volume":"10457","author":"bartocci","year":"2018","journal-title":"Lectures on Runtime Verification—Introductory and Advanced Topics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2017.2649104"},{"key":"ref21","first-page":"9","article-title":"Internet of Things strategic research roadmap","volume":"1","author":"vermesan","year":"2011","journal-title":"Internet of Things Global Technological and Societal Trends"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2542049"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.050113.00191"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2009.06.019"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2494502"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2013.2257594"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2017.1600421"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2342228"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092296"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.1109\/71.584093"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.157"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.02.008"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0196-4"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0215-y"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0114-4"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2011-0431"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0239-8"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3198458.3198468"},{"key":"ref58","first-page":"1412","article-title":"Fix the leak! An information leakage aware secured cyber-physical manufacturing system","author":"chhetri","year":"2017","journal-title":"Proc Conf Design Autom Test Eur"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2684221"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45309-1_4"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1859823.1859826"},{"key":"ref54","author":"myers","year":"2017","journal-title":"Automated security domain partitioning with a formal method perspective of a cyber-physical systems"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TMSCS.2016.2569446"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00058"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2006.06.011"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341894"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039408"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593127"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488857"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2596683"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2661645"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2606378"},{"key":"ref4","first-page":"1","author":"ceccarelli","year":"2016","journal-title":"Basic Concepts on Systems of Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2189915"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/JPROC.2011.2165270","article-title":"Challenges and research directions in medical cyber–physical systems","volume":"100","author":"lee","year":"2012","journal-title":"Proc IEEE"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2015.04.003"},{"key":"ref8","year":"2018","journal-title":"World Total Population 2007–2017 (in Billion Inhabitants) In Statista—The Statistics Portal"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.152"},{"key":"ref7","year":"2018","journal-title":"Internet of Things (IoT) Connected Devices Installed Base Worldwide From 2015 to 2025 (in Billions) In Statista—The Statistics Portal"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2005.44"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488809"},{"key":"ref9","author":"reinsel","year":"2018","journal-title":"Data Age 2025 The Evolution of Data to Life-Critical Don’t Focus on Big Data Focus on Data That’s Big In IDC Seagate April"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691184"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.05.046"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.jksuci.2016.10.003"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.dcan.2017.04.003"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.11.022"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.3390\/s18071991"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s00607-010-0107-y","article-title":"A survey on self-healing systems: Approaches and systems","volume":"91","author":"psaier","year":"2011","journal-title":"Computing"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2016.7945805"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2014.2306328"},{"key":"ref73","article-title":"Data-driven methods for stealthy attacks on TCP\/IP-based networked control systems equipped with attack detectors","author":"wang","year":"0","journal-title":"IEEE Trans Cybern"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ASCC.2017.8287298"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3055186.3055189"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2018.06.016"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75880-0_7"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/3125501.3125529"},{"key":"ref74","author":"dadras","year":"2018","journal-title":"Insider Vs Outsider threats to autonomous vehicle platooning"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2752801"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2017.7995256"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.12"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2818659"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/MPEL.2017.2761422"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2018.00111"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2009.5394956"},{"key":"ref64","first-page":"65","article-title":"WSN security mechanisms for CPS","author":"ali","year":"2018","journal-title":"Designed-in Cyber Security for Cyber-Physical Systems"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref66","first-page":"1","article-title":"Hacking medical devices for fun and insulin: Breaking the human SCADA system","author":"radcliffe","year":"2011","journal-title":"Proc Black Hat Conf Present Slides"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.64"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2461851"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2017.07.036"},{"key":"ref197","author":"papernot","year":"2015","journal-title":"Distillation as a defense to adversarial perturbations against deep neural networks"},{"key":"ref198","author":"xiang","year":"2018","journal-title":"Verification for machine learning autonomy and neural networks survey"},{"key":"ref199","author":"xiang","year":"2018","journal-title":"Reachability analysis and safety verification for neural network control systems"},{"key":"ref193","author":"chen","year":"2018","journal-title":"DeepMarks A digital fingerprinting framework for deep neural networks"},{"key":"ref194","author":"rouhani","year":"2018","journal-title":"DeepSigns A generic watermarking framework for ip protection of deep learning models"},{"key":"ref195","doi-asserted-by":"publisher","DOI":"10.1145\/3128572.3140449"},{"key":"ref196","author":"rakin","year":"2018","journal-title":"Defend deep neural networks against adversarial examples via fixed anddynamic quantized activation functions"},{"key":"ref95","first-page":"89","article-title":"You should better enforce than verify","volume":"6418","author":"falcone","year":"2010","journal-title":"Proc Int'l Conf Runtime Verification (RV)"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"ref190","author":"hanzlik","year":"2018","journal-title":"MLCapsule Guarded offline deployment of machine learning as a service"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/3140241.3140250"},{"key":"ref191","author":"hynes","year":"2018","journal-title":"Efficient deep learning on multi-source private data"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2012.6407448"},{"key":"ref192","article-title":"Deep learning on private data","author":"riazi","year":"2018","journal-title":"IEEE Security Privacy Mag"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref98","first-page":"546","article-title":"Potential cyberattacks on automated vehicles","volume":"16","author":"petit","year":"2015","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"ref99","author":"poledna","year":"1996","journal-title":"Fault-Tolerant Real-Time Systems The Problem of Replica Determinism"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2799854"},{"key":"ref97","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-319-75632-5_4","article-title":"Runtime failure prevention and reaction","volume":"10457","author":"falcone","year":"2018","journal-title":"Lectures on Runtime Verification—Introductory and Advanced Topics"},{"key":"ref82","article-title":"Hybrid attack graphs for use with a simulation of a cyber-physical system","author":"nichols","year":"2018"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-6373-2_57"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/Anti-Cybercrime.2017.7905288"},{"key":"ref83","author":"moore","year":"2017","journal-title":"Power consumption-based detection of sabotage attacks in additive manufacturing"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/j.addma.2018.03.015"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/SIEDS.2018.8374762"},{"key":"ref85","author":"aguma","year":"2018","journal-title":"Introduction of a hybrid monitor to cyber-physical systems"},{"key":"ref86","author":"ahmed","year":"2017","journal-title":"NoiSense Detecting data integrity attacks on sensor measurements using hardware based fingerprints"},{"key":"ref87","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.ijepes.2018.04.001","article-title":"Reliability assessment of a power system with cyber-physical interactive operation of photovoltaic systems","volume":"101","author":"gunduz","year":"2018","journal-title":"Int J Elect Power Energy Syst"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-803801-7.00009-2"},{"key":"ref200","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2017.7"},{"key":"ref101","first-page":"38","article-title":"Security hardening with plausibility checks for automotive ECUs","author":"d\u00fcrrwang","year":"2017","journal-title":"Proc 6th Int Conf Adv Veh Syst Technol Appl"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2439640"},{"key":"ref203","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227161"},{"key":"ref201","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2014.19"},{"key":"ref202","first-page":"299","article-title":"Falsification of safety properties for closed loop control systems","author":"zutshi","year":"2015","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318257"},{"key":"ref126","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","volume":"6174","author":"donz\u00e9","year":"2010","journal-title":"Proc 22nd Int Conf Comput Aided Verification (CAV)"},{"key":"ref125","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","article-title":"S-TaLiRo: A tool for temporal logic falsification for hybrid systems","volume":"6605","author":"annpureddy","year":"0","journal-title":"Proc 17th Int Conf Tools Algorithms Construction Anal Syst (TACAS)"},{"key":"ref124","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust satisfaction of temporal logic over real-valued signals","volume":"6246","author":"donz\u00e9","year":"2010","journal-title":"Proc 3rd Int Conf Formal Model Anal Timed Syst (FORMATS)"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.02.046"},{"key":"ref128","first-page":"165","article-title":"Parameter synthesis for hybrid systems with an application to Simulink models","volume":"5469","author":"donz\u00e9","year":"2009","journal-title":"Proc 12th Int Conf Hybrid Syst Comput Control (HSCC)"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2015.7280815"},{"key":"ref133","first-page":"130","article-title":"Information-theoretic measures for anomaly detection","author":"lee","year":"2001","journal-title":"Proc IEEE Symp Secur Privacy (S&P)"},{"key":"ref134","author":"wilson","year":"1993","journal-title":"Root Cause Analysis - A Tool for Total Quality Management"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"key":"ref132","first-page":"89","article-title":"Long short term memory networks for anomaly detection in time series","author":"malhotra","year":"2015","journal-title":"Proc Eur Symp Artif Neural Netw Comput Intell Mach Learn (ESANN)"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.38"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178131"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884636"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1605"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00029"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"ref142","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-319-24953-7_20","article-title":"Trace diagnostics using temporal implicants","volume":"9364","author":"ferr\u00e8re","year":"2015","journal-title":"Proc Int'l Symp Automated Technology for Verification and Analysis"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1007\/s00158-003-0368-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1970.1099422"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1930277.1930278"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ref109","first-page":"68","article-title":"C2E2: A verification tool for stateflow models","author":"duggirala","year":"2015","journal-title":"Proc TACAS"},{"key":"ref108","first-page":"200","article-title":"dReach: \n$\\delta$\n-reachability analysis for hybrid systems","author":"kong","year":"2015","journal-title":"Proc TACAS"},{"key":"ref107","article-title":"SpaceEx: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc CAV"},{"key":"ref106","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"Proc CAV"},{"key":"ref105","first-page":"3","article-title":"XSpeed: Accelerating reachability analysis on multi-core processors","volume":"9434","author":"ray","year":"2015","journal-title":"Proceedings of HVC"},{"key":"ref104","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","article-title":"The d\/dt tool for verification of hybrid systems","volume":"2404","author":"asarin","year":"2002","journal-title":"Proc 14th Int Conf Comput Aided Verification (CAV)"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0031-0"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"ref111","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-319-75632-5_1","article-title":"Introduction to runtime verification","volume":"10457","author":"bartocci","year":"2018","journal-title":"Lectures on Runtime Verification—Introductory and Advanced Topics"},{"key":"ref112","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1109\/MEMCOD.2015.7340489","article-title":"From signal temporal logic to FPGA monitors","author":"jak\u0161i?","year":"2015","journal-title":"Proceedings of the ACMIEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"},{"key":"ref110","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-319-96145-3_24","article-title":"Reachable set over-approximation for nonlinear systems using piecewise barrier tubes","volume":"10981","author":"kong","year":"2018","journal-title":"Proc 30th Int Conf Comput Aided Verification (CAV)"},{"key":"ref10","author":"winter","year":"2018","journal-title":"For Self-Driving Cars There’s Big Meaning Behind One Big Number 4 Terabytes In Intel News Room"},{"key":"ref11","author":"mouawad","year":"2015","journal-title":"F A A Orders Fix for Possible Power Loss in Boeing 787"},{"key":"ref12","author":"holley","year":"2018","journal-title":"Chrysler Fiat announces recall of nearly 5 million U S cars"},{"key":"ref13","author":"helmore","year":"2018","journal-title":"Uber shuts down self-driving operation in Arizona after fatal crash"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40894-6_2"},{"key":"ref15","author":"hern","year":"2017","journal-title":"Hacking risk leads to recall of 500 000 pacemakers due to patient death fears"},{"key":"ref16","author":"cellan-jones","year":"2016","journal-title":"F A A Orders Fix for Possible Power Loss in Boeing 787"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039487"},{"key":"ref17","author":"greenberg","year":"2015","journal-title":"Hackers remotely kill a jeep on the highway—with me in it"},{"key":"ref117","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-33386-6_9","article-title":"On temporal logic and signal processing","volume":"7561","author":"donz\u00e9","year":"2012","journal-title":"Proc Int'l Symp Automated Technology for Verification and Analysis (ATVA)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.201"},{"key":"ref19","first-page":"8g","article-title":"From dependability to resilience","author":"laprie","year":"2008","journal-title":"Proc 38th Annu IEEE\/IFIP Int Conf Dependable Syst Netw (DSN)"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref113","first-page":"336","article-title":"Runtime monitoring with recovery of the SENT communication protocol","volume":"10426","author":"selyunin","year":"2017","journal-title":"Proc 29th Int Conf Comput Aided Verification (CAV)"},{"key":"ref116","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004","journal-title":"Proc Joint Int Conf Formal Modeling Anal Timed Syst Formal Techn Real-Time Fault-Tolerant Syst (FORMATS-FTRTFT)"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"ref120","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-54792-8_15","article-title":"Temporal logics for hyperproperties","volume":"8414","author":"clarkson","year":"2014","journal-title":"Proc 3rd Int Conf Principles Secur Trust (POST)"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127058"},{"key":"ref122","first-page":"41","article-title":"Runtime verification for HyperLTL","volume":"10012","author":"bonakdarpour","year":"2016","journal-title":"Proc Int'l Conf Runtime Verification (RV)"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08606923.pdf?arnumber=8606923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T23:18:55Z","timestamp":1643239135000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8606923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":203,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2891969","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}