{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T05:08:39Z","timestamp":1725253719584},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.20.7","type":"journal-article","created":{"date-parts":[[2010,3,17]],"date-time":"2010-03-17T00:00:10Z","timestamp":1268784010000},"page":"68-75","source":"Crossref","is-referenced-by-count":2,"title":["Formalization and Validation of Safety-Critical Requirements"],"prefix":"10.4204","volume":"20","author":[{"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[{"name":"FBK-irst, IT"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[{"name":"FBK-irst, IT"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[{"name":"FBK-irst, IT"}]},{"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[{"name":"FBK-irst, IT"}]}],"member":"2720","published-online":{"date-parts":[[2010,3,28]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2010,3,30]],"date-time":"2010-03-30T01:28:25Z","timestamp":1269912505000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1003.1741v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,28]]},"references-count":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.20.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,28]]}}}