{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:51:26Z","timestamp":1742928686131,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289432"},{"type":"electronic","value":"9783540317227"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11555261_18","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T12:42:29Z","timestamp":1127824949000},"page":"184-197","source":"Crossref","is-referenced-by-count":6,"title":["Analysing User Confusion in Context Aware Mobile Applications"],"prefix":"10.1007","author":[{"given":"K.","family":"Loer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. D.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Model-Checking Techniques and Tools","author":"M. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, M., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph.: Systems and Software Verification. In: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08, 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"18_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"18_CR4","unstructured":"Degani, A.: Modeling Human-Machine Systems: On Modes, Error, and Patterns of Interaction. PhD thesis, Georgia Institute of Technology (December 1996)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1207\/S15327051HCI16234_02","volume":"16","author":"A.K. Dey","year":"2001","unstructured":"Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction\u00a016, 97\u2013166 (2001)","journal-title":"Human-Computer Interaction"},{"key":"18_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2004","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2004)"},{"key":"18_CR7","unstructured":"Fields, R.E.: Analysis of erroneous actions in the design of critical systems. PhD thesis, Department of Computer Science, University of York, Heslington, York, YO10 5DD (2001)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1207\/S15327051HCI16234_10","volume":"16","author":"J. Grudin","year":"2001","unstructured":"Grudin, J.: Desituating action: digital representation of context. Human-Computer Interaction\u00a016, 257\u2013268 (2001)","journal-title":"Human-Computer Interaction"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"18_CR10","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"18_CR11","volume-title":"Constructing the User Interfaces with StateCharts","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I.: Constructing the User Interfaces with StateCharts. Addison-Wesley, Reading (1999)"},{"key":"18_CR12","volume-title":"Modelling and reasoning about systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.D.: Modelling and reasoning about systems. Cambridge University Press, Cambridge (2000)"},{"key":"18_CR13","unstructured":"Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK (2003)"},{"key":"18_CR14","unstructured":"K.\u00a0Loer and M.D. Harrison. Analysing and modelling context in mobile systems to support design. \n                      \n                        http:\/\/homepages.cs.ncl.ac.uk\/michael.harrison\/\n                      \n                      \n                    \n                    \n                      \n                        publications.htm\n                      \n                      \n                    , 2004."},{"key":"18_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic model checking. Kluwer, Dordrecht (1993)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-39959-3_3","volume-title":"Handheld and Ubiquitous Computing","author":"J. Nilsson","year":"2000","unstructured":"Nilsson, J., Sokoler, T., Binder, T., Wetcke, N.: Beyond the control room: mobile devices for spatially distributed interaction on industrial process plants. In: Thomas, P., Gellersen, H.-W. (eds.) HUC 2000. LNCS, vol.\u00a01927, pp. 30\u201345. Springer, Heidelberg (2000)"},{"issue":"4","key":"18_CR17","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1093\/comjnl\/46.4.340","volume":"6","author":"F. Patern\u00f2","year":"2003","unstructured":"Patern\u00f2, F., Santoro, C.: Support for reasoning about interactive systems through human-computer interaction designers\u2019 representations. The Computer Journal\u00a06(4), 340\u2013357 (2003)","journal-title":"The Computer Journal"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0951-8320(01)00092-8","volume":"75","author":"J. Rushby","year":"2002","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety\u00a075(2), 167\u2013177 (2002)","journal-title":"Reliability Engineering and System Safety"},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/S15327051HCI1501_01","volume":"15","author":"P.C. Wright","year":"2000","unstructured":"Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human-Computer Interaction\u00a015(1), 1\u201342 (2000)","journal-title":"Human-Computer Interaction"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction - INTERACT 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11555261_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T18:36:01Z","timestamp":1552761361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11555261_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289432","9783540317227"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11555261_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}