{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:17Z","timestamp":1725552737402},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_17","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:50:15Z","timestamp":1148550615000},"page":"201-212","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Critiques of Interface Modes"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Gow","sequence":"first","affiliation":[]},{"given":"Harold","family":"Thimbleby","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Cairns","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45732-1_4","volume-title":"Computer Safety, Reliability and Security","author":"J. Bredereke","year":"2002","unstructured":"Bredereke, J., Lankenau, A.: A rigorous view of mode confusion. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, pp. 19\u201331. Springer, Heidelberg (2002)"},{"key":"17_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Emmerson, E.A., Sistla, A.P.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR3","unstructured":"Degani, A.: Modelling human-machine systems: On modes, error and patterns of interaction. PhD thesis, Georgia Institute of Technology (1996)"},{"key":"17_CR4","volume-title":"Computer-Aided Design of User Interfaces IV, Proc. CADUI 2004","author":"J. Gow","year":"2004","unstructured":"Gow, J., Thimbleby, H.: MAUI: An interface design tool based on matrix algebra. In: Jacob, R.J.K., Vanderdonckt, J. (eds.) Computer-Aided Design of User Interfaces IV, Proc. CADUI 2004. Kluwer, Dordrecht (2004)"},{"key":"17_CR5","unstructured":"Gow, J., Thimbleby, H., Cairns, P.: Misleading behaviour in interactive systems. In: Dearden, A., Watts, L. (eds.) Proc. 18th British HCI Group Annual Conference (HCI 2004), vol.\u00a02 (2004)"},{"issue":"4","key":"17_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"17_CR7","volume-title":"The SPIN model checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)"},{"key":"17_CR8","unstructured":"Leveson, N.G., Pinnel, L.D., Sandys, S.D., Koga, S., Reese, J.D.: Analyzing software specifications for mode confusion potential. In: Johnson, B.W. (ed.) Proc. Workshop on Human Error & System Development, Glasgow, pp. 132\u2013146 (1997)"},{"key":"17_CR9","unstructured":"Miller, S.P., Potts, J.N.: Detecting Mode Confusion Through Formal Modeling and Analysis. NASA Contractor Report, NASA\/CR-1999-208971 (1999)"},{"issue":"2","key":"17_CR10","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 & other automation surprises. Reliability Engineering & System Safety\u00a075(2), 167\u2013177 (2002)","journal-title":"Reliability Engineering & System Safety"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0020-7373(82)80057-6","volume":"16","author":"H. Thimbleby","year":"1982","unstructured":"Thimbleby, H.: Character level ambiguity: Consequences for user interface design. International Journal of Man-Machine Studies\u00a016, 211\u2013225 (1982)","journal-title":"International Journal of Man-Machine Studies"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/1005361.1005364","volume":"11","author":"H. Thimbleby","year":"2004","unstructured":"Thimbleby, H.: User interface design with matrix algebra. ACM Transactions on Computer-Human Interaction\u00a011(2), 181\u2013236 (2004)","journal-title":"ACM Transactions on Computer-Human Interaction"}],"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\/11752707_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:20Z","timestamp":1619492600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11752707_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}