{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:28:29Z","timestamp":1729610909743,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sysose.2011.5966616","type":"proceedings-article","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T01:43:19Z","timestamp":1312422199000},"page":"311-316","source":"Crossref","is-referenced-by-count":1,"title":["Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach"],"prefix":"10.1109","author":[{"given":"Glenn","family":"Callow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Kalawsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuki","family":"Okuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"OMG document formal\/2007","article-title":"Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification","year":"2005","key":"ref4"},{"journal-title":"OMG - Object Management Group","year":"0","key":"ref3"},{"article-title":"Architecture and principles of systems engineering","year":"2009","author":"dickerson","key":"ref6"},{"key":"ref5","article-title":"Specification of Graph Translators with Triple Graph Grammars","author":"schurr","year":"0","journal-title":"the Proceedings of the 20th International Workshop on Graph- Theoretic Concepts in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02964.x"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","article-title":"Comparing relational model transformation technologies: implementing Query\/View\/Transformation with Triple Graph Grammars","volume":"9","author":"greenyer","year":"2010","journal-title":"Software and System Modeling-SOSYM"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0116-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.012"},{"journal-title":"Handbook of Systems Engineering and Management","year":"2009","author":"sage","key":"ref1"}],"event":{"name":"2011 6th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2011,6,27]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 6th International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5958523\/5966563\/05966616.pdf?arnumber=5966616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:11:56Z","timestamp":1497931916000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5966616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/sysose.2011.5966616","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}