{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:31:25Z","timestamp":1725456685670},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/dsn.2008.4630076","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:10:29Z","timestamp":1222427429000},"page":"102-107","source":"Crossref","is-referenced-by-count":2,"title":["Using an assurance case to support independent assessment of the transition to a new GPS ground control system"],"prefix":"10.1109","author":[{"given":"Elisabeth A.","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William S.","family":"Greenwell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myron J.","family":"Hecht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"GPS Fact Sheet","year":"2007","key":"3"},{"key":"2","article-title":"the goal structuring notation - a safety argument notation","author":"weaver","year":"2004","journal-title":"Proc Of Dependable Systems and Networks 2004 Workshop on Assurance Cases"},{"journal-title":"50th SW completes transition to new GPS control system","year":"2007","author":"branum","key":"1"},{"year":"0","key":"5"},{"year":"0","key":"4"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630076.pdf?arnumber=4630076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:34:02Z","timestamp":1489750442000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4630076\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630076","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}