{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:53:24Z","timestamp":1725558804582},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201595"},{"type":"electronic","value":"9783540399292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39929-2_20","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:08:51Z","timestamp":1277827731000},"page":"288-302","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Dynamic Information Displays"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Campos","sequence":"first","affiliation":[]},{"given":"G. J.","family":"Doherty","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-20_CR1.1","unstructured":"Campos, J.C.: Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York (1999);"},{"key":"#cr-split#-20_CR1.2","unstructured":"Also available as Technical Report YCST 2000\/9, Department of Computer Science, University of York (September 2000)"},{"issue":"3\/4","key":"20_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(3\/4), 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/226650.226667","volume":"28","author":"A. Dix","year":"1996","unstructured":"Dix, A., Abowd, G.: Delays and temporal incoherence due to mediated status-status mappings. SIGCHI Bulletin\u00a028(2), 47\u201349 (1996)","journal-title":"SIGCHI Bulletin"},{"key":"20_CR4","first-page":"215","volume-title":"People and Computers III \u2014 Proceedings of HCI 1987","author":"A. Dix","year":"1987","unstructured":"Dix, A.: The myth of the infinitely fast machine. In: Diaper, D., Winder, R. (eds.) People and Computers III \u2014 Proceedings of HCI 1987, pp. 215\u2013228. Cambridge University Press, Cambridge (1987)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/PL00003934","volume":"12","author":"G. Doherty","year":"2000","unstructured":"Doherty, G., Campos, J.C., Harrison, M.D.: Representational reasoning and verification. Formal Aspects of Computing\u00a012, 260\u2013277 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Doherty, G., Harrison, M.D.: A representational approach to the specification of presentations. In: Harrison, M.D., Torres, J.C. (eds.) Design, Specification and Verification of Interactive Systems 1997, Springer Computer Science, June 1997, pp. 273\u2013290. Springer, Heidelberg (1997)","DOI":"10.1007\/978-3-7091-6878-3_18"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Doherty, G., Massink, M., Faconti, G.: Using hybrid automata to support human factors analysis in a critical system. Formal Methods in System Design\u00a019(2) (September 2001)","DOI":"10.1023\/A:1011232016683"},{"issue":"4","key":"20_CR8","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1037\/1076-898X.6.4.322","volume":"6","author":"W.D. Gray","year":"2000","unstructured":"Gray, W.D., Boehm-Davis, D.A.: Milliseconds matter: An introduction to microstrategies and to their use in describing and predicting interactive behaviour. Journal of Experimental Psychology: Applied\u00a06(4), 322\u2013335 (2000)","journal-title":"Journal of Experimental Psychology: Applied"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BFb0035807","volume-title":"Software Engineering and Human-Computer Interaction","author":"M.D. Harrison","year":"1995","unstructured":"Harrison, M.D., Duke, D.J.: A review of formalisms for describing interactive behaviour. In: Taylor, R., Coutaz, J. (eds.) ICSE-WS 1994 and SE-HCI 1994. LNCS, vol.\u00a0896, pp. 49\u201375. Springer, Heidelberg (1995)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1207\/s15516709cog1903_1","volume":"19","author":"E. Hutchins","year":"1995","unstructured":"Hutchins, E.: How a cockpit remembers its speeds. Cognitive Science\u00a019, 265\u2013288 (1995)","journal-title":"Cognitive Science"},{"key":"20_CR11","volume-title":"Proceedings of HCI 1997","author":"C. Johnson","year":"1997","unstructured":"Johnson, C.: The impact of time and place on the operation of mobile computing devices. In: O\u2019Conaill, B., Theimbleby, H., Thomas, P. (eds.) Proceedings of HCI 1997. Springer, Heidelberg (1997)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of 8th International Workshop on Interactive Systems, Design Specification and Verification","year":"2001","unstructured":"Johnson, C. (ed.): Proceedings of 8th International Workshop on Interactive Systems, Design Specification and Verification. LNCS, vol.\u00a02220. Springer, Heidelberg (2001)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, C., Gray, P.: Temporal aspects of usability (workshop report). SIGCHI Bulletin\u00a028(2) (1996)","DOI":"10.1145\/226650.226662"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Markopoulos, P., Johnson, P. (eds.): Design, Specification and Verification of Interactive Systems 1998, Springer Computer Science. Eurographics. Springer, Heidelberg (1998)","DOI":"10.1007\/978-3-7091-3693-5"},{"key":"20_CR15","volume-title":"Interactive System Design","author":"W.M. Newman","year":"1995","unstructured":"Newman, W.M., Lamming, M.G.: Interactive System Design. Addison-Wesley, Reading (1995)"},{"key":"20_CR16","volume-title":"The Psychology of Everyday Things","author":"D.E. Norman","year":"1988","unstructured":"Norman, D.E.: The Psychology of Everyday Things. Basic Book Inc., New York (1988)"},{"key":"20_CR17","series-title":"LNCS\/LNAI","first-page":"748","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS(LNAI), vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"key":"20_CR18","volume-title":"Human-Computer Interaction","author":"J. Preece","year":"1994","unstructured":"Preece, J., et al.: Human-Computer Interaction. Addison-Wesley, Reading (1994)"},{"key":"20_CR19","volume-title":"The Humane Interface","author":"J. Raskin","year":"2000","unstructured":"Raskin, J.: The Humane Interface. ACM Press, New York (2000)"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0953-5438(97)00020-9","volume":"10","author":"C. Roast","year":"1998","unstructured":"Roast, C.: Designing for delay in interactive information retrieval. Interacting with Computers\u00a010, 87\u2013104 (1998)","journal-title":"Interacting with Computers"},{"key":"20_CR21","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. In: (Pre-) Proceedings of the Workshop on Human Error, Safety, and System Development (HESSD) 1999, Li\u00e8ge, Belgium (June 1999)"},{"key":"20_CR22","series-title":"Cambridge Series on Human-Computer Interaction","first-page":"154","volume-title":"Formal Methods in Human-Computer Interaction","author":"B. Sufrin","year":"1990","unstructured":"Sufrin, B., He, J.: Specification, analysis and refinment of interactive processes. In: Harrison, M., Thimbleby, H. (eds.) Formal Methods in Human-Computer Interaction. Cambridge Series on Human-Computer Interaction, ch. 6, pp. 154\u2013200. Cambridge University Press, Cambridge (1990)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Ullmer, B., Ishii, H.: Emerging frameworks for tangible user interfaces. IBM Systems Journal 39(3 & 4) (2000)","DOI":"10.1147\/sj.393.0915"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39929-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:02:43Z","timestamp":1559214163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39929-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201595","9783540399292"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39929-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}