{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:05:22Z","timestamp":1729663522219,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/modre.2011.6045366","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T15:31:41Z","timestamp":1318951901000},"page":"48-54","source":"Crossref","is-referenced-by-count":0,"title":["Validation of embedded system verification models"],"prefix":"10.1109","author":[{"given":"Jelena","family":"Marincic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelika","family":"Mader","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","year":"2009","author":"lamsweerde","key":"ref4"},{"year":"0","key":"ref3","article-title":"UPPAAL home page"},{"article-title":"Validating computational models","year":"1996","author":"carley","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709341582"},{"article-title":"What engineers know and how they know it: Analytical studies from aeronautical history","year":"1990","author":"vincenti","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/A:1009624719571","article-title":"A trajectory for validating computational emulation models of organizations","volume":"5","author":"thomsen","year":"1999","journal-title":"Computational & Mathematical Organization Theory"},{"key":"ref2","article-title":"Boderc: Model-based design of high-tech systems","author":"heemels","year":"2006","journal-title":"Embedded Systems Institute"},{"key":"ref1","first-page":"16","article-title":"The discipline of natural design","author":"hall","year":"2008","journal-title":"Proceedings of the Design Research Society Conference 2008 16–19 July 2008"}],"event":{"name":"2011 Model-Driven Requirements Engineering Workshop (MoDRE)","start":{"date-parts":[[2011,8,29]]},"location":"Trento, Italy","end":{"date-parts":[[2011,8,29]]}},"container-title":["2011 Model-Driven Requirements Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6035928\/6045358\/06045366.pdf?arnumber=6045366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:12:27Z","timestamp":1497946347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6045366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/modre.2011.6045366","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}