{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T22:38:59Z","timestamp":1768516739694,"version":"3.49.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,8,28]]},"DOI":"10.1109\/case59546.2024.10711328","type":"proceedings-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:40:16Z","timestamp":1729705216000},"page":"1532-1539","source":"Crossref","is-referenced-by-count":1,"title":["Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach"],"prefix":"10.1109","author":[{"given":"Tianyu","family":"Liu","sequence":"first","affiliation":[{"name":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[{"name":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federica","family":"Pascucci","sequence":"additional","affiliation":[{"name":"University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziana","family":"Cavone","sequence":"additional","affiliation":[{"name":"University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[{"name":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Critical infrastructure and key assets: definition and identification","volume-title":"Congressional Research Service, Library of Congress Washington","author":"Moteff"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2015.2502905"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3177362"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)WR.1943-5452.0000749"},{"key":"ref5","volume-title":"Cyber-physical attacks: A growing invisible threat","author":"Loukas","year":"2015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ECC57647.2023.10178183"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s13762-019-02362-y"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3095713"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2022.03.004"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0196-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110221"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT58514.2023.10284385"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"ref19","article-title":"Comprehensive model of dts200 three tank system in simulink","author":"Chalupa","year":"2012","journal-title":"International Journal of Mathematical Models and Methods in Applied Sciences"},{"key":"ref20","volume-title":"Model-based fault diagnosis techniques: design schemes, algorithms, and tools","author":"Ding","year":"2008"}],"event":{"name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","location":"Bari, Italy","start":{"date-parts":[[2024,8,28]]},"end":{"date-parts":[[2024,9,1]]}},"container-title":["2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10711304\/10711288\/10711328.pdf?arnumber=10711328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T01:45:04Z","timestamp":1732671904000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10711328\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/case59546.2024.10711328","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]}}}