{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T13:15:25Z","timestamp":1687785325900},"publisher-location":"Link\u00f6ping","reference-count":0,"publisher":"Link\u00f6ping University Electronic Press","isbn-type":[{"value":"9789179292713","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,29]]},"DOI":"10.3384\/9789179292720","type":"monograph","created":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T22:00:24Z","timestamp":1648245624000},"source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of Safety-Critical Real-Time Systems"],"prefix":"10.3384","author":[{"given":"Yuanbin","family":"Zhou","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, Software and Systems, Link\u00f6ping University, Link\u00f6ping, Sweden"}]}],"member":"1959","container-title":["Link\u00f6ping Studies in Science and Technology. Dissertations"],"original-title":[],"link":[{"URL":"http:\/\/liu.diva-portal.org\/smash\/get\/diva2:1644668\/FULLTEXT01.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/liu.diva-portal.org\/smash\/get\/diva2:1644668\/FULLTEXT01.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T22:00:25Z","timestamp":1648245625000},"score":1,"resource":{"primary":{"URL":"http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:liu:diva-183642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,29]]},"ISBN":["9789179292713"],"references-count":0,"URL":"https:\/\/doi.org\/10.3384\/9789179292720","relation":{},"ISSN":["0345-7524"],"issn-type":[{"value":"0345-7524","type":"print"}],"subject":[],"published":{"date-parts":[[2022,4,29]]}}}