{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:22Z","timestamp":1725611422924},"publisher-location":"Vienna","reference-count":28,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_4","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:23:51Z","timestamp":1316474631000},"page":"30-51","source":"Crossref","is-referenced-by-count":8,"title":["Towards Hybrid Interface Specification for Virtual Environments"],"prefix":"10.1007","author":[{"given":"Mieke","family":"Massink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Duke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shamus","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","series-title":"volume 131 of Lecture Notes in Computer Science","first-page":"52","volume-title":"Logic of Programs: Workshop","author":"E Clarke","year":"1981","unstructured":"E. Clarke and E. Emerson. Synthesis of synchronization skeletons for branching time temporal logics. In Logic of Programs: Workshop, (Yorktown Heights, NY), volume 131 of Lecture Notes in Computer Science, pages 52\u201371. Springer Verlag, 1981."},{"key":"4_CR3","unstructured":"ColtVR. Virtual Production Planner. BBC\/Colt International, 1997."},{"key":"4_CR4","first-page":"1","volume":"69","author":"Z Har\u2019El","year":"1990","unstructured":"Z. Har\u2019El and R. Kurshan. Software for analytical development of communications protocols. AT&T Bell Lab. Tech. J., 69(1 (Jan.-Feb.)), 1990.","journal-title":"AT&T Bell Lab. Tech. J"},{"key":"4_CR5","first-page":"278","volume-title":"The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96)","author":"TA Henzinger","year":"1996","unstructured":"T. A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96), pages 278\u2013292, 1996."},{"key":"4_CR6","unstructured":"INQUISITIVE homepage, 1999.\n                    httphttp:\/\/www.cs.york.ac.ukhshamus\/inquisitive\/"},{"key":"4_CR7","first-page":"171","volume-title":"From csp to hybrid systems. In A Classical Mind: Essays on Honour of C. A. R. Hoare","author":"H Jifeng","year":"1994","unstructured":"H. Jifeng. From csp to hybrid systems. In A Classical Mind: Essays on Honour of C. A. R. Hoare, pages 171\u2013189. Prentise Hall, 1994."},{"key":"4_CR8","first-page":"117","volume-title":"Design, Specification and Verification of Interactive Systems","author":"S Jones","year":"1998","unstructured":"S. Jones and J. Sapsford. The role of informal representations in early design. In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems, pages 117\u2013133. Springer, 1998."},{"volume-title":"High-level Petri Nets - Theory and Applications","year":"1991","key":"4_CR9","unstructured":"J. K and G. Rozenberg, editors. High-level Petri Nets - Theory and Applications. Springer-Verlag, 1991."},{"key":"4_CR10","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"RP Kurshan","year":"1994","unstructured":"R. P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton, NJ, 1994."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s100090050006","volume":"(1)","author":"KG Larsen","year":"1997","unstructured":"K. G. Larsen, B. Steffen, and C. Weise. Continuous modeling of real-time and hybrid systems: from concepts to tools. International Journal on Software Tools and Technology Transfer, (1):64\u201385, 1997.","journal-title":"International Journal on Software Tools and Technology Transfer"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s002870050102","volume":"(21)","author":"P Liggesmeyer","year":"1998","unstructured":"P. Liggesmeyer, M. Rothfelder, M. Rettelbach, and T. Ackermann. Qualit\u00e4tssicherung Software-basierter technischer Systeme - Problembereiche und L\u00f6sungsans\u00e4tze. Informatic-Spektrum, (21):249\u2013258, 1998.","journal-title":"Informatic-Spektrum"},{"key":"4_CR13","volume-title":"Virtual environment interaction techniques. Technical Report TR95-018, University of North Carolina","author":"M Mine","year":"1995","unstructured":"M. Mine. Virtual environment interaction techniques. Technical Report TR95\u2013018, University of North Carolina, 1995."},{"key":"4_CR14","volume-title":"Exploiting Proprioceptionin Virtual Environments Interaction","author":"M Mine","year":"1997","unstructured":"M. Mine. Exploiting Proprioception\n                  in Virtual Environments Interaction. PhD thesis, University of North Carolina, 1997."},{"key":"4_CR15","volume-title":"Chimp: Chapel hill immersive modeling program","author":"M Mine","year":"1998","unstructured":"M. Mine. Chimp: Chapel hill immersive modeling program.\n                    http:\/\/www.cs.unc.edu\/mine\n                    \n                  1998."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/258734.258747","volume":"97","author":"M Mine","year":"1997","unstructured":"M. Mine, F. P. Brooks Jr, and C. H. Sequin. Moving objects in space: Exploiting proprioception in virtual-environment interaction. In Proceedings of SIGGRAPH 97, pages 19\u201326, 1997.","journal-title":"Proceedings of SIGGRAPH"},{"key":"4_CR17","volume-title":"Usability Engineering","author":"J Nielsen","year":"1993","unstructured":"J. Nielsen. Usability Engineering. AP Professional, 1993."},{"key":"4_CR18","unstructured":"C. A. Petri. Kommunikation mit automaten. Schriften des iim nr. 2, Institut f\u00fcr Instrumentelle Mathematic, 1962. English translation: Technical Report RADCTR-65\u2013377, Griffis Air Base, New York, Vol. 1, Suppl. 1, 1966."},{"key":"4_CR19","volume-title":"Specification and verification of of concurrent systems in ceasar","author":"J Queille","year":"1982","unstructured":"J. Queille and J. Sifakis. Specification and verification of of concurrent systems in ceasar. In Proceedings of Fifth ISP, 1982."},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1518\/001872095779049516","volume":"37","author":"NB Sarter","year":"1995","unstructured":"N. B. Sarter and D. D. Woods. How in the world did we ever get into that mode? mode error and awareness in supervisory control. Human Factors, 37(1):5\u201319, 1995.","journal-title":"Human Factors"},{"key":"4_CR21","first-page":"412","volume-title":"Applications and Theory of Petri Nets, 16th International Conference, volume 935 of LNCS","author":"S Sch\u00f6f","year":"1995","unstructured":"S. Sch\u00f6f, M. Sonnenschein, and R. Wieting. Efficient simulation of thor nets. In G. D. Michelis and M. Diaz, editors, Applications and Theory of Petri Nets, 16th International Conference, volume 935 of LNCS, pages 412\u2013431. Springer, 1995."},{"key":"4_CR22","volume-title":"Addison-Wesley","author":"B Shneiderman","year":"1987","unstructured":"B. Shneiderman. Designing the User Interface. Addison-Wesley, 1987."},{"key":"4_CR23","series-title":"Proceedings of the Eurographics UK 17th Annual Conference, EG- UK\u201999","first-page":"113","volume-title":"Virtual environments as hybrid systems","author":"S Smith","year":"1999","unstructured":"S. Smith and D. Duke. Virtual environments as hybrid systems. In Proceedings of the Eurographics UK 17th Annual Conference, EG- UK\u201999, pages 113\u2013128. Eurographics UK Chapter, 1999. Cambridge, UK."},{"key":"4_CR24","volume-title":"The hybrid world of virtual environments","author":"S Smith","year":"1999","unstructured":"S. Smith, D. Duke, and M. Massink. The hybrid world of virtual environments. In Accepted for publication at Eurographics \u201889, 1999. Milan, Italy."},{"key":"4_CR25","volume-title":"Software Engineering. Addison-Wesley, fifth edition","author":"I Sommerville","year":"1996","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996."},{"key":"4_CR26","unstructured":"TACIT homepage, 1999.http: \/\/kazan.cnuce. cnr. it\/TACIT\/."},{"key":"4_CR27","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1145\/256562.256828","volume-title":"Winter Simulation Conference","author":"R Wieting","year":"1996","unstructured":"R. Wieting. Hybrid high-level nets. In D. B. J.M. Charnes, D.J. Morrice and J. Swain, editors, Winter Simulation Conference, pages 848\u2013855, 1996. Coronado, California."},{"key":"4_CR28","volume-title":"Proceedings of the IMACS Symposium onSytems Analysis and Simulation","author":"R Wieting","year":"1995","unstructured":"R. Wieting and M. Sonnenschein. Extending high-level petri nets for modeling hybrid systems. In A. Sydow, editor, Proceedings of the IMACS Symposium on Sytems Analysis and Simulation, 1995. Berlin, Germany."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:51:23Z","timestamp":1606125083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_4","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}