{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:53:44Z","timestamp":1730303624530,"version":"3.28.0"},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/vr.2008.4480785","type":"proceedings-article","created":{"date-parts":[[2008,4,9]],"date-time":"2008-04-09T20:05:43Z","timestamp":1207771543000},"page":"249-250","source":"Crossref","is-referenced-by-count":1,"title":["MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata"],"prefix":"10.1109","author":[{"given":"Jean-Yves","family":"Didier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bachir","family":"Djafri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1155\/2005\/654215"},{"key":"2","first-page":"243","article-title":"a component model for augmented\/mixed reality applications with reconfigurable data-flow","author":"didier","year":"2006","journal-title":"8th International Conference on Virtual Reality (VRIC 2006)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"4","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"}],"event":{"name":"IEEE Virtual Reality 2008","start":{"date-parts":[[2008,3,8]]},"location":"Reno, NV, USA","end":{"date-parts":[[2008,3,12]]}},"container-title":["2008 IEEE Virtual Reality Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4472735\/4480728\/04480785.pdf?arnumber=4480785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T15:05:03Z","timestamp":1622819103000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4480785\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/vr.2008.4480785","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}