{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:09:56Z","timestamp":1748668196092},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"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":[[2023,11,22]]},"DOI":"10.1109\/icsrs59833.2023.10381141","type":"proceedings-article","created":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T19:33:05Z","timestamp":1704742385000},"source":"Crossref","is-referenced-by-count":4,"title":["ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Eun-Young","family":"Kang","sequence":"first","affiliation":[{"name":"University of Southern Denmark,Software Engineering,Odense,Denmark"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/isorc.2008.25"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2496293"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-014-0232-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882376"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSRS56243.2022.10067493"},{"key":"ref7","first-page":"34","article-title":"Towards model driven safety and security by design","volume-title":"QuASoQ 2022 co-located with 29th Asia Pacific Software Engineering Conference 2022, ser. CEUR Workshop Proceedings","author":"Campusano","year":"2022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00079"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00017"},{"key":"ref10","volume-title":"EAST-ADL","year":"2022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554929"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2019.00039"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.27"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3230833.3232799"},{"key":"ref15","volume-title":"Timed Automata and TCTL","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17604-3_2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79382-1_1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62230-5_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1186\/s42162-020-00134-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MECO58584.2023.10154960"},{"key":"ref21","volume-title":"STPA Handbook","author":"Leveson","year":"2018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2016.05.008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2556938"},{"key":"ref24","volume-title":"Bridging gaps from informal dsls to formal languages","author":"Kang","year":"2023"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3531706.3536463"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"}],"event":{"name":"2023 7th International Conference on System Reliability and Safety (ICSRS)","location":"Bologna, Italy","start":{"date-parts":[[2023,11,22]]},"end":{"date-parts":[[2023,11,24]]}},"container-title":["2023 7th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10380806\/10380972\/10381141.pdf?arnumber=10381141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T04:21:43Z","timestamp":1706070103000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10381141\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,22]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icsrs59833.2023.10381141","relation":{},"subject":[],"published":{"date-parts":[[2023,11,22]]}}}