{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:35:05Z","timestamp":1780392905066,"version":"3.54.1"},"reference-count":0,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.4.9.943-958","type":"journal-article","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T12:49:26Z","timestamp":1260794966000},"source":"Crossref","is-referenced-by-count":37,"title":["Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification"],"prefix":"10.17706","volume":"4","author":[{"given":"Beno\u00eet","family":"Combemale","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Cr\u00e9gut","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Lo\u00efc","family":"Garoche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Thirioux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7163","published-online":{"date-parts":[[2009,11,1]]},"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:18:40Z","timestamp":1442330320000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.academypublisher.com\/ojs\/index.php\/jsw\/article\/view\/2343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,1]]},"references-count":0,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2009,11,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.4.9.943-958","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2009,11,1]]}}}