{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:14:05Z","timestamp":1756991645752},"publisher-location":"Cham","reference-count":91,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030253110"},{"type":"electronic","value":"9783030253127"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25312-7_13","type":"book-chapter","created":{"date-parts":[[2019,11,9]],"date-time":"2019-11-09T03:03:09Z","timestamp":1573268589000},"page":"357-382","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Design and Run-Time Aspects of Secure Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Apostolos P.","family":"Fournaris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Komninos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aris S.","family":"Lalos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Athanasios P.","family":"Kalogeras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Koulamas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Serpanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,10]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2013.69","volume":"46","author":"C Alcaraz","year":"2013","unstructured":"Alcaraz, C., & Zeadally, S. (2013). Critical control system protection in the 21st century. Computer, 46, 74\u201383.","journal-title":"Computer"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.automatica.2012.09.007","volume":"49","author":"S Amin","year":"2013","unstructured":"Amin, S., Schwartz, G. A., & Shankar Sastry, S. (2013). Security of interdependent and identical networked control systems. Automatica, 49, 186\u2013192. https:\/\/doi.org\/10.1016\/j.automatica.2012.09.007 .","journal-title":"Automatica"},{"key":"13_CR3","first-page":"161","volume":"12","author":"R Baheti","year":"2011","unstructured":"Baheti, R., & Gill, H. (2011). Cyber-physical systems. The Impact of Control Technology, 12, 161\u2013166.","journal-title":"The Impact of Control Technology"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0164-1212(02)00041-9","volume":"65","author":"M Barnett","year":"2003","unstructured":"Barnett, M., & Schulte, W. (2003). Runtime verification of net contracts. Journal of Systems and Software, 65, 199\u2013208.","journal-title":"Journal of Systems and Software"},{"key":"13_CR5","unstructured":"Barras, B., Boutin, S., Cornes, C., Courant, J., Filliatre, J.-C., Gimenez, E., et al. (1997). The Coq proof assistant reference manual: Version 6.1 (PhD Thesis). Inria."},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"B\u00e9cue, A., Fourastier, Y., Pra\u00e7a, I., Savarit, A., Baron, C., Gradussofs, B., et al. (2018). CyberFactory#1\u2014Securing the industry 4.0 with cyber-ranges and digital twins. In 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS) (pp. 1\u20134). https:\/\/doi.org\/10.1109\/WFCS.2018.8402377 .","DOI":"10.1109\/WFCS.2018.8402377"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"3299","DOI":"10.1109\/TAC.2015.2416926","volume":"60","author":"GK Befekadu","year":"2015","unstructured":"Befekadu, G. K., Gupta, V., & Antsaklis, P. J. (2015). Risk-sensitive control under Markov modulated denial-of-service (DoS) attack strategies. IEEE Transactions on Automatic Control, 60, 3299\u20133304. https:\/\/doi.org\/10.1109\/TAC.2015.2416926 .","journal-title":"IEEE Transactions on Automatic Control"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/378444.378449","volume":"19","author":"SM Bellovin","year":"1989","unstructured":"Bellovin, S. M. (1989). Security problems in the TCP\/IP protocol suite. ACM SIGCOMM Computer Communication Review, 19, 32\u201348.","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"13_CR9","unstructured":"Blum, M., & Wasserman, H. (1994). Software reliability via run-time result-checking. Journal of the ACM. Citeseer."},{"key":"13_CR10","volume-title":"Abstract state machines: A method for high-level system design and analysis","author":"E B\u00f6rger","year":"2012","unstructured":"B\u00f6rger, E., & St\u00e4rk, R. (2012). Abstract state machines: A method for high-level system design and analysis. Cham: Springer."},{"key":"13_CR11","unstructured":"Byres, E., & Lowe, J. (2004). The myths and facts behind cyber security risks for industrial control systems. In Proceedings of the VDE Kongress (pp. 213\u2013218). Citeseer."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/1966913.1966959","volume-title":"Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS\u201911","author":"AA C\u00e1rdenas","year":"2011","unstructured":"C\u00e1rdenas, A. A., Amin, S., Lin, Z.-S., Huang, Y.-L., Huang, C.-Y., & Sastry, S. (2011). Attacks against process control systems: Risk assessment, detection, and response. In Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS\u201911 (pp. 355\u2013366). New York: ACM. https:\/\/doi.org\/10.1145\/1966913.1966959 ."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/MC.2011.115","volume":"44","author":"T Chen","year":"2011","unstructured":"Chen, T., & Abu-Nimeh, S. (2011). Lessons from stuxnet. Computer, 44, 91\u201393.","journal-title":"Computer"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Chupilko, M., & Kamkin, A. (2013). Runtime verification based on executable models: On-the-fly matching of timed traces. ArXivPrepr. ArXiv13031010.","DOI":"10.4204\/EPTCS.111.6"},{"key":"13_CR15","first-page":"25","volume":"115","author":"V Damjanovic-Behrendt","year":"2018","unstructured":"Damjanovic-Behrendt, V. (2018). A digital twin architecture for security, privacy and safety. ERCIM NEWS, 115, 25\u201326.","journal-title":"ERCIM NEWS"},{"key":"13_CR16","unstructured":"Davidson, D., Wu, H., Jellinek, R., Singh, V., & Ristenpart, T. (2016). Controlling UAVs with sensor input spoofing attacks. In 10th USENIX Workshop on Offensive Technologies (WOOT 16)."},{"key":"13_CR17","first-page":"689","volume-title":"ACM SIGPLAN notices","author":"B Delaware","year":"2015","unstructured":"Delaware, B., Pit-Claudel, C., Gross, J., & Chlipala, A. (2015). Fiat: Deductive synthesis of abstract data types in a proof assistant. In ACM SIGPLAN notices (pp. 689\u2013700). New York: ACM."},{"key":"13_CR18","unstructured":"Dignan, L. (2017). GE aims to replicate digital twin success with security-focused digital ghost. ZDNet."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.neucom.2016.09.009","volume":"219","author":"D Ding","year":"2017","unstructured":"Ding, D., Wei, G., Zhang, S., Liu, Y., & Alsaadi, F. E. (2017). On scheduling of deception attacks for discrete-time networked systems equipped with attack detectors. Neurocomputing, 219, 99\u2013106. https:\/\/doi.org\/10.1016\/j.neucom.2016.09.009 .","journal-title":"Neurocomputing"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/3198458.3198464","volume-title":"Proceedings of the 4th ACM Workshop on Cyber-Physical System Security, CPSS\u201918","author":"M Eckhart","year":"2018","unstructured":"Eckhart, M., & Ekelhart, A. (2018a). Towards security-aware virtual environments for digital twins. In Proceedings of the 4th ACM Workshop on Cyber-Physical System Security, CPSS\u201918 (pp. 61\u201372). New York: ACM. https:\/\/doi.org\/10.1145\/3198458.3198464 ."},{"key":"13_CR21","first-page":"22","volume":"115","author":"M Eckhart","year":"2018","unstructured":"Eckhart, M., & Ekelhart, A. (2018b). Securing cyber-physical systems through digital twins. ERCIM NEWS, 115, 22\u201323.","journal-title":"ERCIM NEWS"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/3264888.3264892","volume-title":"Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and Privacy","author":"M Eckhart","year":"2018","unstructured":"Eckhart, M., & Ekelhart, A. (2018c). Aspecification-based state replication approach for digital twins. In Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and Privacy (pp. 36\u201347). New York: ACM."},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"1501","DOI":"10.1109\/TPWRD.2010.2046654","volume":"25","author":"GN Ericsson","year":"2010","unstructured":"Ericsson, G. N. (2010). Cyber security and power system communication\u2014Essential parts of a smart grid infrastructure. IEEE Transactions on Power Delivery, 25, 1501\u20131507.","journal-title":"IEEE Transactions on Power Delivery"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-1-4471-5634-5_15","volume-title":"Modeling and simulation in the systems engineering lifecycle","author":"DJ Folds","year":"2015","unstructured":"Folds, D. J. (2015). Human in the loop simulation. In Modeling and simulation in the systems engineering lifecycle (pp. 175\u2013183). London: Springer."},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.compeleceng.2013.11.011","volume":"40","author":"AP Fournaris","year":"2014","unstructured":"Fournaris, A. P., & Sklavos, N. (2014). Secure embedded system hardware design\u2013a flexible security and trust enhanced approach. Computers and Electrical Engineering, 40, 121\u2013133.","journal-title":"Computers and Electrical Engineering"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"52","DOI":"10.3390\/electronics6030052","volume":"6","author":"AP Fournaris","year":"2017","unstructured":"Fournaris, A. P., Pocero Fraile, L., & Koufopavlou, O. (2017a). Exploiting hardware vulnerabilities to attack embedded system devices: A survey of potent microarchitectural attacks. Electronics, 6, 52.","journal-title":"Electronics"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Fournaris, A. P., Lampropoulos, K., & Koufopavlou, O. (2017b). Hardware security for critical infrastructures-the CIPSEC project approach. In 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (pp. 356\u2013361). IEEE.","DOI":"10.1109\/ISVLSI.2017.69"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Fournaris, A. P., Lampropoulos, K., & Koufopavlou, O. (2018). Trusted hardware sensors for anomaly detection in critical infrastructure systems. In Modern Circuits and Systems Technologies (MOCAST), 2018 7th International Conference (pp. 1\u20134). IEEE.","DOI":"10.1109\/MOCAST.2018.8376629"},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.ijcip.2009.10.001","volume":"2","author":"IN Fovino","year":"2009","unstructured":"Fovino, I. N., Carcano, A., Masera, M., & Trombetta, A. (2009). An experimental investigation of malware attacks on SCADA systems. International Journal of Critical Infrastructure Protection, 2, 139\u2013145.","journal-title":"International Journal of Critical Infrastructure Protection"},{"key":"13_CR30","unstructured":"Francia, G., III, Thornton, D., & Brookshire, T. (2012). Cyberattacks on SCADA systems. In Proceeding of the 16th colloquium for Information Systems Education (pp. 9\u201314)."},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MTS.2011.940293","volume":"30","author":"R Gandhi","year":"2011","unstructured":"Gandhi, R., Sharma, A., Mahoney, W., Sousan, W., Zhu, Q., & Laplante, P. (2011). Dimensions of cyber-attacks: Cultural, social, economic, and political. IEEE Technology and Society Magazine, 30, 28\u201338. https:\/\/doi.org\/10.1109\/MTS.2011.940293 .","journal-title":"IEEE Technology and Society Magazine"},{"key":"13_CR32","first-page":"208","volume-title":"International Conference on Automated Deduction","author":"S Gao","year":"2013","unstructured":"Gao, S., Kong, S., & Clarke, E. M. (2013). dReal: An SMT solver for nonlinear theories over the reals. In International Conference on Automated Deduction (pp. 208\u2013214). New York: Springer."},{"key":"13_CR33","first-page":"12","volume-title":"International doctoral workshop on Mathematical and Engineering Methods in Computer Science","author":"D Gollmann","year":"2012","unstructured":"Gollmann, D. (2012). Security for cyber-physical systems. In International doctoral workshop on Mathematical and Engineering Methods in Computer Science (pp. 12\u201314). New York: Springer."},{"key":"13_CR34","unstructured":"Halfond, W. G., Viegas, J., Orso, A., et al. (2006). A classification of SQL-injection attacks and countermeasures. In Proceedings of the IEEE International Symposium on Secure Software Engineering (pp. 13\u201315). IEEE."},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R. (1978). Proof of correctness of data representations. In Programming methodology (pp. 269\u2013281). Springer.","DOI":"10.1007\/978-1-4612-6315-9_20"},{"key":"13_CR36","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1023\/B:AIRE.0000045502.10941.a9","volume":"22","author":"V Hodge","year":"2004","unstructured":"Hodge, V., & Austin, J. (2004). A survey of outlier detection methodologies. Artificial Intelligence Review, 22, 85\u2013126.","journal-title":"Artificial Intelligence Review"},{"key":"13_CR37","doi-asserted-by":"publisher","first-page":"1802","DOI":"10.1109\/JIOT.2017.2703172","volume":"4","author":"A Humayed","year":"2017","unstructured":"Humayed, A., Lin, J., Li, F., & Luo, B. (2017). Cyber-physical systems security\u2014A survey. IEEE Internet of Things Journal, 4, 1802\u20131831. https:\/\/doi.org\/10.1109\/JIOT.2017.2703172 .","journal-title":"IEEE Internet of Things Journal"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Hwang, H., Jung, G., Sohn, K., & Park, S. (2008). A study on MITM (man in the middle) vulnerability in wireless network using 802.1 X and EAP. In Information Science and Security, 2008. ICISS. International Conference (pp. 164\u2013170). IEEE.","DOI":"10.1109\/ICISS.2008.10"},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.cose.2006.03.001","volume":"25","author":"VM Igure","year":"2006","unstructured":"Igure, V. M., Laughter, S. A., & Williams, R. D. (2006). Security issues in SCADA networks. Computers & Security, 25, 498\u2013506.","journal-title":"Computers & Security"},{"key":"13_CR40","unstructured":"Kane, A. (2015). Runtime monitoring for safety-critical embedded systems."},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Katsigiannis, K., & Serpanos, D. (2018). MTF-storm: A high performance fuzzer for Modbus\/TCP. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 926\u2013931). IEEE.","DOI":"10.1109\/ETFA.2018.8502600"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Khan, M. T., Serpanos, D., & Shrobe, H. (2016). A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In Internet of Things (WF-IoT), 2016 IEEE 3rd World Forum (pp. 100\u2013105). IEEE.","DOI":"10.1109\/WF-IoT.2016.7845510"},{"key":"13_CR43","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/JPROC.2017.2725642","volume":"106","author":"MT Khan","year":"2018","unstructured":"Khan, M. T., Serpanos, D., & Shrobe, H. (2018). ARMET: Behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106, 129\u2013143.","journal-title":"Proceedings of the IEEE"},{"key":"13_CR44","doi-asserted-by":"publisher","unstructured":"Khorshed, M. T., Sharma, N. A., Kumar, K., Prasad, M., Ali, A. B. M. S., & Xiang, Y. (2015). Integrating internet-of-things with the power of cloud computing and the intelligence of big data analytics\u2014A three layered approach. In 2015 2nd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE) (pp. 1\u20138). https:\/\/doi.org\/10.1109\/APWCCSE.2015.7476124 .","DOI":"10.1109\/APWCCSE.2015.7476124"},{"key":"13_CR45","doi-asserted-by":"publisher","first-page":"1287","DOI":"10.1109\/JPROC.2012.2189792","volume":"100","author":"K-D Kim","year":"2012","unstructured":"Kim, K.-D., & Kumar, P. R. (2012). Cyber-physical systems: A perspective at the centennial. Proceedings of the IEEE, 100, 1287\u20131308.","journal-title":"Proceedings of the IEEE"},{"key":"13_CR46","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TSG.2011.2119336","volume":"2","author":"TT Kim","year":"2011","unstructured":"Kim, T. T., & Poor, H. V. (2011). Strategic protection againstdata injection attacks on power grids. IEEE Transactions on Smart Grid, 2, 326\u2013333. https:\/\/doi.org\/10.1109\/TSG.2011.2119336 .","journal-title":"IEEE Transactions on Smart Grid"},{"key":"13_CR47","doi-asserted-by":"publisher","first-page":"15","DOI":"10.4271\/2016-01-0128","volume":"4","author":"P Koopman","year":"2016","unstructured":"Koopman, P., & Wagner, M. (2016). Challenges in autonomous vehicle testing and validation. SAE International Journal of Transportation Safety, 4, 15\u201324.","journal-title":"SAE International Journal of Transportation Safety"},{"issue":"11","key":"13_CR48","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/MC.2018.2876181","volume":"51","author":"C Koulamas","year":"2018","unstructured":"Koulamas, C., & Kalogeras, A. (2018). Cyber-physical systems and digital twins in the industrial IoT. Computer, 51(11), 95\u201398.","journal-title":"Computer"},{"key":"13_CR49","doi-asserted-by":"crossref","unstructured":"Koulamas, C., & Lazarescu, M. T. (2018). Real-time embedded systems: Present and future. MDPI Electronics, 7.","DOI":"10.3390\/electronics7090205"},{"key":"13_CR50","doi-asserted-by":"publisher","unstructured":"Kriebel, F., Rehman, S., Hanif, M. A., Khalid, F., & Shafique, M. (2018). Robustness for smart cyber physical systems and internet-of-things: From adaptive robustness methods to reliability and security for machine learning. In 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (pp. 581\u2013586). https:\/\/doi.org\/10.1109\/ISVLSI.2018.00111 .","DOI":"10.1109\/ISVLSI.2018.00111"},{"key":"13_CR51","first-page":"217","volume-title":"ACM SIGCOMM Computer Communication Review","author":"A Lakhina","year":"2005","unstructured":"Lakhina, A., Crovella, M., & Diot, C. (2005). Mining anomalies using traffic feature distributions. In ACM SIGCOMM Computer Communication Review (pp. 217\u2013228). New York: ACM."},{"key":"13_CR52","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/MSP.2011.67","volume":"9","author":"R Langner","year":"2011","unstructured":"Langner, R. (2011). Stuxnet: Dissecting a cyberwarfare weapon. IEEE Security and Privacy, 9, 49\u201351.","journal-title":"IEEE Security and Privacy"},{"key":"13_CR53","doi-asserted-by":"publisher","first-page":"3224","DOI":"10.1109\/TAC.2014.2351871","volume":"59","author":"P Lee","year":"2014","unstructured":"Lee, P., Clark, A., Bushnell, L., & Poovendran, R. (2014). A passivity framework for modeling and mitigating wormhole attacks on networked control systems. IEEE Transactions on Automatic Control, 59, 3224\u20133237. https:\/\/doi.org\/10.1109\/TAC.2014.2351871 .","journal-title":"IEEE Transactions on Automatic Control"},{"key":"13_CR54","doi-asserted-by":"publisher","unstructured":"Lei, H., Chen, B., Butler-Purry, K. L., & Singh, C. (2018). Security and reliability perspectives in cyber-physical smart grids. In 2018 IEEE Innovative Smart Grid Technologies - Asia (ISGT Asia) (pp. 42\u201347). https:\/\/doi.org\/10.1109\/ISGT-Asia.2018.8467794 .","DOI":"10.1109\/ISGT-Asia.2018.8467794"},{"key":"13_CR55","unstructured":"Leverett, E. P. (2011). Quantitatively assessing and visualising industrial system attack surfaces. University of Cambridge, Darwin College, 7."},{"key":"13_CR56","unstructured":"Lin, S.-W., Crawford, M., & Mellor, S. (2017a). The industrial internet of things, volume G1: Reference architecture. Industrial Internet Consortium."},{"key":"13_CR57","unstructured":"Lin, S.-W., Murphy, B., Clauer, E., Loewen, U., Neubert, R., Bachmann, G., et al. (2017b). Architecture alignment and interoperability - An industrial internet consortium and platform industrie 4.0 joint whitepaper (No. IIC:WHT: IN3: V1.0:PB: 2017120 5)."},{"key":"13_CR58","doi-asserted-by":"publisher","unstructured":"Mamdouh, M., Elrukhsi, M. A. I., & Khattab, A. (2018). Securing the internet of things and wireless sensornetworks via machine learning: A survey. In 2018 International Conference on Computer and Applications (ICCA) (pp. 215\u2013218). https:\/\/doi.org\/10.1109\/COMAPP.2018.8460440 .","DOI":"10.1109\/COMAPP.2018.8460440"},{"key":"13_CR59","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2006.12.003","volume":"168","author":"F Martinelli","year":"2007","unstructured":"Martinelli, F., & Matteucci, I. (2007). An approach for the specification, verification and synthesis of secure systems. Electronic Notes in Theoretical Computer Science, 168, 29\u201343.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR60","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2007.03.025","volume":"186","author":"I Matteucci","year":"2007","unstructured":"Matteucci, I. (2007). Automated synthesis of enforcing mechanisms for security properties in a timed setting. Electronic Notes in Theoretical Computer Science, 186, 101\u2013120.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR61","unstructured":"Maurer, T. (2017). What is a digital twin? Siemens. https:\/\/community.plm.automation.siemens.com\/t5\/Digital-Twin-Knowledge-Base\/What-is-a-digital-twin\/ta-p\/432960 ."},{"key":"13_CR62","first-page":"55","volume":"46","author":"R Mitchell","year":"2014","unstructured":"Mitchell, R., & Chen, I.-R. (2014). A survey of intrusion detection techniques for cyber-physical systems. ACM Computing Surveys(CSUR), 46, 55.","journal-title":"ACM Computing Surveys(CSUR)"},{"key":"13_CR63","doi-asserted-by":"publisher","unstructured":"Mo, Y., Garone, E., Casavola, A., & Sinopoli, B. (2010). False data injection attacks against state estimation in wireless sensor networks. In 49th IEEE Conference on Decision and Control (CDC) (pp. 5967\u20135972). https:\/\/doi.org\/10.1109\/CDC.2010.5718158 .","DOI":"10.1109\/CDC.2010.5718158"},{"key":"13_CR64","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/JPROC.2011.2161428","volume":"100","author":"Y Mo","year":"2012","unstructured":"Mo, Y., Kim, T. H.-J., Brancik, K., Dickinson, D., Lee, H., Perrig, A., & Sinopoli, B. (2012). Cyber-physical security of a smart grid infrastructure. Proceedings of the IEEE, 100, 195\u2013209.","journal-title":"Proceedings of the IEEE"},{"key":"13_CR65","first-page":"63","volume-title":"Advanced information systems engineering","author":"H Mouratidis","year":"2003","unstructured":"Mouratidis, H., Giorgini, P., & Manson, G. (2003). Integrating security and systems engineering: Towards the modelling of secure information systems. In J. Eder & M. Missikoff (Eds.), Advanced information systems engineering (pp. 63\u201378). Berlin: Springer."},{"key":"13_CR66","unstructured":"Neuman, D. C. (2009). Challenges in security for cyber-physical systems. In DHS workshop on future directions in cyber-physical systems security."},{"issue":"1","key":"13_CR67","doi-asserted-by":"publisher","first-page":"8908","DOI":"10.3182\/20110828-6-IT-1002.02862","volume":"44","author":"Z.H. Pang","year":"2011","unstructured":"Pang, Z. H., Liu, G. P., & Dong, Z. (2011). Secure networked control systems under denial of service attacks. In IFAC proceedings volumes, 18th IFAC World Congress 44, 8908\u20138913. https:\/\/doi.org\/10.3182\/20110828-6-IT-1002.02862 .","journal-title":"IFAC Proceedings Volumes"},{"key":"13_CR68","unstructured":"Paxson, V. (1998). Bro. A system for detecting network intruders in real-time. In Proceedings of the 7th USENIX security symposium."},{"key":"13_CR69","volume-title":"Security in computing","author":"CP Pfleeger","year":"2006","unstructured":"Pfleeger, C. P., & Pfleeger, S. L. (2006). Security in computing (4th ed.). Upper Saddle River, NJ: Prentice Hall.","edition":"4"},{"key":"13_CR70","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.arcontrol.2012.09.004","volume":"36","author":"SJ Qin","year":"2012","unstructured":"Qin, S. J. (2012). Survey on data-driven industrial process monitoring and diagnosis. Annual Reviews in Control, 36, 220\u2013234.","journal-title":"Annual Reviews in Control"},{"key":"13_CR71","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Lee, I., Sha, L., & Stankovic, J. (2010). Cyber-physical systems: The next computing revolution. In Design Automation Conference (DAC), 2010 47th ACM\/IEEE (pp. 731\u2013736). IEEE.","DOI":"10.1145\/1837274.1837461"},{"key":"13_CR72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16420-5","volume-title":"Differential flatness approaches to nonlinear filtering and control: Applications to electromechanical systems","author":"G Rigatos","year":"2015","unstructured":"Rigatos, G. (2015). Differential flatness approaches to nonlinear filtering and control: Applications to electromechanical systems. New York: Springer."},{"key":"13_CR73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39156-4","volume-title":"Intelligent renewable energy systems: Modelling and control","author":"G Rigatos","year":"2016","unstructured":"Rigatos, G. (2016). Intelligent renewable energy systems: Modelling and control. Cham: Springer."},{"key":"13_CR74","unstructured":"Ross, R. S., Katzke, S. W., & Johnson, L. A. (2006). Minimum security requirements for federal information and information systems."},{"key":"13_CR75","doi-asserted-by":"publisher","first-page":"2328","DOI":"10.1093\/comjnl\/bxu152","volume":"58","author":"JF Ruiz","year":"2015","unstructured":"Ruiz, J. F., Ma\u00f1a, A., & Rudolph, C. (2015). An integrated security and systems engineering process and modelling framework. The Computer Journal, 58, 2328\u20132350.","journal-title":"The Computer Journal"},{"key":"13_CR76","doi-asserted-by":"publisher","first-page":"1020","DOI":"10.1016\/j.jlp.2009.07.015","volume":"22","author":"DH Ryu","year":"2009","unstructured":"Ryu, D. H., Kim, H., & Um, K. (2009). Reducing security vulnerabilities for critical infrastructure. Journal of Loss Prevention in the Process Industries, 22, 1020\u20131024.","journal-title":"Journal of Loss Prevention in the Process Industries"},{"key":"13_CR77","unstructured":"Santamarta, R. (2012). Here be backdoors: A journey into the secrets of industrial firmware. Black Hat USA."},{"key":"13_CR78","unstructured":"Schweichhart, K. (n.d.). Reference architectural model industrie 4.0 (RAMI 4.0) - An introduction."},{"key":"13_CR79","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/MC.2018.1731058","volume":"51","author":"D Serpanos","year":"2018","unstructured":"Serpanos, D. (2018). The cyber-physical systems revolution. Computer, 51, 70\u201373.","journal-title":"Computer"},{"key":"13_CR80","volume-title":"Internet-of-things (IoT) systems: Architectures, algorithms, methodologies","author":"D Serpanos","year":"2017","unstructured":"Serpanos, D., & Wolf, M. (2017). Internet-of-things (IoT) systems: Architectures, algorithms, methodologies. Cham: Springer."},{"key":"13_CR81","unstructured":"Setola, R. (2011). Cyber threats to SCADA systems."},{"key":"13_CR82","doi-asserted-by":"publisher","first-page":"1943","DOI":"10.1109\/TII.2016.2574242","volume":"12","author":"VP Singh","year":"2016","unstructured":"Singh, V. P., Kishor, N., & Samuel, P. (2016). Load frequency control with communication topology changes in smart grid. IEEE Transactions on Industrial Informatics, 12, 1943\u20131952. https:\/\/doi.org\/10.1109\/TII.2016.2574242 .","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"13_CR83","unstructured":"Soulat, R. (2014). Synthesis of correct-by-design schedulers for hybrid systems (PhD Thesis). \u00c9cole normale sup\u00e9rieure de Cachan-ENS Cachan."},{"issue":"4","key":"13_CR84","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2018","unstructured":"Tao, F., Zhang, H., Liu, A., & Nee, A. (2018). Digital twin in industry: State-of-the-art. IEEE Transactions on Industrial Informatics, 15(4), 2405\u20132415.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"13_CR85","unstructured":"Tauber, M., & Schmittner, C. (2018). Enabling security and safety evaluation in industry 4.0 use cases with digital twins. ERCIM News."},{"key":"13_CR86","doi-asserted-by":"publisher","DOI":"10.2172\/911775","volume-title":"Cyber incidents involving control systems","author":"RJ Turk","year":"2005","unstructured":"Turk, R. J., et al. (2005). Cyber incidents involving control systems. New York: CiteSeer."},{"key":"13_CR87","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1049\/iet-sen:20060076","volume":"1","author":"C Watterson","year":"2007","unstructured":"Watterson, C., & Heffernan, D. (2007). Runtime verification and monitoring of embedded systems. IET Software, 1, 172\u2013179.","journal-title":"IET Software"},{"key":"13_CR88","doi-asserted-by":"crossref","unstructured":"Welch, D., & Lathrop, S. (2003). Wireless security threat taxonomy. In Information assurance workshop, 2003. IEEE systems, man and cybernetics society (pp. 76\u201383). IEEE.","DOI":"10.1109\/SMCSIA.2003.1232404"},{"key":"13_CR89","first-page":"85","volume-title":"ACM SIGPLAN notices","author":"J Yang","year":"2012","unstructured":"Yang, J., Yessenov, K., & Solar-Lezama, A. (2012). A language for automatically enforcing privacy policies. In ACM SIGPLAN notices (pp. 85\u201396). New York: ACM."},{"key":"13_CR90","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1145\/2810103.2813669","volume-title":"Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security","author":"M Zhang","year":"2015","unstructured":"Zhang, M., Duan, Y., Feng, Q., & Yin, H. (2015). Towards automatic generation of security-centric descriptions for android apps. In Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (pp. 518\u2013529). New York: ACM."},{"key":"13_CR91","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MNET.2016.7437026","volume":"30","author":"H Zhang","year":"2016","unstructured":"Zhang, H., Shu, Y., Cheng, P., & Chen, J. (2016). Privacy and performance trade-off in cyber-physical systems. IEEE Network, 30, 62\u201366. https:\/\/doi.org\/10.1109\/MNET.2016.7437026 .","journal-title":"IEEE Network"}],"container-title":["Security and Quality in Cyber-Physical Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25312-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,28]],"date-time":"2021-01-28T19:58:39Z","timestamp":1611863919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25312-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030253110","9783030253127"],"references-count":91,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25312-7_13","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"10 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}