{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:12Z","timestamp":1762521372416,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/dsn.2010.5544290","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T16:44:07Z","timestamp":1281458647000},"page":"419-424","source":"Crossref","is-referenced-by-count":9,"title":["Evaluating repair strategies for a water-treatment facility using Arcade"],"prefix":"10.1109","author":[{"given":"B.R.","family":"Haverkort","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kuntz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Roolvink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.I.A.","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref3","article-title":"Performabili ty assessment by model checking of Markov reward models","volume":"35","author":"baier","year":"2010","journal-title":"Formal Methods in System Design"},{"journal-title":"Technical Report TNO FEL-03-COO","article-title":"Bescherming Vitale Infrastructuur. Quick-scan naar vitale producten en diensten","year":"2003","key":"ref10"},{"journal-title":"Model Checking Algorithms for Markov Reward Models","year":"2006","author":"cloth","key":"ref6"},{"journal-title":"Ministerie van Binnenlandse Zaken en Koninkrijksrelaties Raport bescherming vitale infrastructuur Technical report","year":"2005","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630122"},{"key":"ref12","article-title":"Critical Infrastructure and Interdependency Modeling: A Survey of US and International Research","author":"pederson","year":"2006","journal-title":"Technical Report INL\/EXT-06–11464 Idaho National Laboratory Department of Energy"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.21"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic Concepts and Taxonomy of Dependable and Secure Computing","volume":"1","author":"avizienis","year":"2004","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"journal-title":"Translating Arcade models into MoDeST code","year":"2010","author":"maass","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2010,6,28]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,7,1]]}},"container-title":["2010 IEEE\/IFIP International Conference on Dependable Systems & Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5532324\/5544245\/05544290.pdf?arnumber=5544290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:24:20Z","timestamp":1497860660000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5544290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/dsn.2010.5544290","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}