{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:19:14Z","timestamp":1772835554549,"version":"3.50.1"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2016f404","type":"proceedings-article","created":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T08:21:41Z","timestamp":1475396501000},"page":"1737-1746","source":"Crossref","is-referenced-by-count":15,"title":["ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking"],"prefix":"10.15439","volume":"8","author":[{"given":"Nesredin","family":"Mahmud","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Ljungkrantz","sequence":"additional","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2016,10,2]]},"event":{"name":"2016 Federated Conference on Computer Science and Information Systems","acronym":"FedCSIS 2016","start":{"date-parts":[[2016,9,11]]},"end":{"date-parts":[[2016,9,14]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 2016 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T07:59:43Z","timestamp":1733990383000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_8\/drp\/404.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,2]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2016f404","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2016,10,2]]}}}