{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T11:53:15Z","timestamp":1767181995920,"version":"build-2238731810"},"reference-count":0,"publisher":"Inderscience Publishers","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJCCBS"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1504\/ijccbs.2017.089985","type":"journal-article","created":{"date-parts":[[2018,2,27]],"date-time":"2018-02-27T07:30:26Z","timestamp":1519716626000},"page":"341","source":"Crossref","is-referenced-by-count":0,"title":["A methodological approach for checking safety-critical systems software"],"prefix":"10.1504","volume":"7","author":[{"given":"Luis E.","family":"Mendoza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel I.","family":"Capel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"378","container-title":["International Journal of Critical Computer-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.inderscienceonline.com\/doi\/full\/10.1504\/IJCCBS.2017.089985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,27]],"date-time":"2018-02-27T07:30:28Z","timestamp":1519716628000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=89985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"aliases":["10.1504\/ijccbs.2017.10011028"],"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1504\/ijccbs.2017.089985","relation":{},"ISSN":["1757-8779","1757-8787"],"issn-type":[{"value":"1757-8779","type":"print"},{"value":"1757-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"article-number":"89985"}}