{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T17:24:35Z","timestamp":1794504275521,"version":"4.9.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319234366","type":"print"},{"value":"9783319234373","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,9,9]],"date-time":"2015-09-09T00:00:00Z","timestamp":1441756800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,9,9]],"date-time":"2015-09-09T00:00:00Z","timestamp":1441756800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-23437-3_1","type":"book-chapter","created":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T09:18:55Z","timestamp":1441703935000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling and Analysing Mixed Reality Applications"],"prefix":"10.1007","author":[{"given":"Johan","family":"Arcile","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tadeusz","family":"Czach\u00f3rski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Yves","family":"Didier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur","family":"Rataj","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,9,9]]},"reference":[{"key":"1_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. Automata, Languages and Programming. LNCS, vol. 443, pp. 322\u2013335. Springer, Berlin (1990)"},{"key":"1_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real Time: Theory in Practice","author":"R Alur","year":"1991","unstructured":"Alur, R., Dill, D.L.: The theory of timed automata. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) Real Time: Theory in Practice. LNCS, vol. 600, pp. 45\u201373. Springer, Berlin (1991)"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR4","unstructured":"Arcile, J., Didier, J.Y., Klaudel, H., Devillers, R., Rataj, A.: Analysis of real-time properties of mixed reality applications. Submitted paper (2015)"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.4204\/EPTCS.184.1","volume":"184","author":"Johan Arcile","year":"2015","unstructured":"Arcile, J., Didier, J.Y., Klaudel, H., Devillers, R., Rataj, A.: Indefinite Waitings in MIRELA systems. In: ESSS 2015. pp. 5\u201318. Oslo, Norway (2015)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Chouiten, M., Domingues, C., Didier, J.Y., Otmane, S., Mallem, M.: Distributed mixed reality for remote underwater telerobotics exploration. In: VRIC 2012. pp. 1:1\u20131:6. Laval, France (2012)","DOI":"10.1145\/2331714.2331716"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Devillers, R., Didier, J.Y., Klaudel, H.: Implementing timed automata specifications: the \u201cSandwich\u201d approach. In: ACSD 2013. pp. 226\u2013235. Barcelona, Spain (2013)","DOI":"10.1109\/ACSD.2013.26"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Didier, J.Y., Djafri, B., Klaudel, H.: The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. J. Virtual Real. Broadcast. 6(1) (2009)","DOI":"10.1063\/1.2952973"},{"key":"1_CR9","unstructured":"Didier, J.Y., Klaudel, H., Moine, M., Devillers, R.: An improved approach to build safer mixed reality systems by analysing time constraints. In: JVRC 2013 (2013)"},{"issue":"5","key":"1_CR10","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1162\/pres.17.5.492","volume":"17","author":"P Figueroa","year":"2008","unstructured":"Figueroa, P., Bischof, W.F., Boulanger, P., Hoover, H.J., Taylor, R.: Intml: a dataflow oriented development system for virtual reality applications. Presence: Teleoperators Virtual Environ. 17(5), 492\u2013511 (2008)","journal-title":"Presence: Teleoperators Virtual Environ."},{"key":"1_CR11","unstructured":"Figueroa, P., Hoover, J., Boulanger, P.: Intml concepts. Technical Report, University of Alberta, Edmonton, Canada (2004)"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2), 128\u2013142 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Latoschik, M.E.: Designing transition networks for multimodal VR-interactions using a markup language. In: ICMI 2002. p. 411. Pittsburgh, USA (2002)","DOI":"10.1109\/ICMI.2002.1167030"},{"key":"1_CR14","unstructured":"Moine, M.: Implementation tool of Timed Automata specifications. Master\u2019s thesis, ENSIIE - Universit\u00e9 d\u2019Evry-val d\u2019Essonne (2013)"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/11555261_17","volume-title":"Human-Computer Interaction - INTERACT 2005","author":"David Navarre","year":"2005","unstructured":"Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L.P., Freitas, C.M.: A formal description of multimodal interaction techniques for immersive virtual reality applications. In: Costabile, M.F., Patern\u00f3, F. (eds.) Human-Computer Interaction\u2013INTERACT 2005, pp. 170\u2013183. LNCS, Springer, Berlin Heidelberg (2005)"},{"issue":"1\u20133","key":"1_CR16","doi-asserted-by":"crossref","first-page":"305","DOI":"10.3233\/FI-2009-0104","volume":"93","author":"A Rataj","year":"2009","unstructured":"Rataj, A., Wozna, B., Zbrzezny, A.: A Translator of Java Programs to TADDs. Fundamenta Informaticae 93(1\u20133), 305\u2013324 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR17","unstructured":"Sandor, C., Reicher, T.: CUIML: A Language for the Generation of Multimodal Human-Computer Interfaces. In: UIML 2001. vol. 124 (2001)"},{"key":"1_CR18","unstructured":"Uppsala Universitet: Uppaal, http:\/\/www.uppaal.org\/"},{"key":"1_CR19","unstructured":"Waez, M.T.B., Dingel, J., Rudie, K.: Timed automata for the development of real-time systems. Research Report 2011\u2013579, Queen\u2019s University, Kingston, Canada (2011)"}],"container-title":["Advances in Intelligent Systems and Computing","Man\u2013Machine Interactions 4"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23437-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:59:22Z","timestamp":1748599162000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23437-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,9]]},"ISBN":["9783319234366","9783319234373"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23437-3_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-23437-3","asserted-by":"object"}]},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,9]]},"assertion":[{"value":"9 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}