{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:37:19Z","timestamp":1742967439966,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319518374"},{"type":"electronic","value":"9783319518381"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_9","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T08:23:43Z","timestamp":1493022223000},"page":"247-271","source":"Crossref","is-referenced-by-count":2,"title":["Physigrams: Modelling Physical Device Characteristics Interaction"],"prefix":"10.1007","author":[{"given":"Alan","family":"Dix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masitah","family":"Ghazali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"9_CR1","unstructured":"Buxton W (1990) A three-state model of graphical input. In: Proceedings of human\u2013computer interaction\u2014INTERACT\u201990. Elsevier, Amsterdam, pp\u00a0449\u2013456"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Cauchi A, Oladimeji P, Niezen G, Thimbleby H (2014) Triangulating empirical and analytic techniques for improving number entry user interfaces. In: Proceedings of the 2014 ACM SIGCHI symposium on engineering interactive computing systems (EICS \u201814), ACM, NY, USA, 243\u2013252. doi: 10.1145\/2607023.2607025","DOI":"10.1145\/2607023.2607025"},{"key":"9_CR3","unstructured":"Dix A (1991) Formal methods for interactive systems. Academic Press, New York. http:\/\/www.hiraeth.com\/books\/formal\/"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dix A, Abowd G (1996) Modelling status and event behaviour of interactive systems. Softw Eng J 11(6):334\u2013346. http:\/\/www.hcibook.com\/alan\/papers\/SEJ96-s+e\/","DOI":"10.1049\/sej.1996.0044"},{"key":"9_CR5","unstructured":"Dix A, Finlay J, Abowd G, Beale R (2004) Human\u2013computer interaction. 3rd edn. Prentice Hall, Englewood Cliffs. http:\/\/www.hcibook.com\/e3\/"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dix A (2007) Designing for appropriation. In: Proceedings of BCS HCI 2007, People and computers XXI, vol 2. BCS eWiC. http:\/\/www.bcs.org\/server.php?show=ConWebDoc.13347","DOI":"10.14236\/ewic\/HCI2007.53"},{"issue":"6","key":"9_CR7","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s00165-008-0099-y","volume":"21","author":"A Dix","year":"2009","unstructured":"Dix A, Ghazali M, Gill S, Hare J, Ramduny-Ellis S (2009) Physigrams: modelling devices for natural interaction. Formal Aspects Comput Springer 21(6):613\u2013641","journal-title":"Formal Aspects Comput Springer"},{"key":"9_CR8","unstructured":"Eslambolchilar P (2006) Making sense of interaction using a model-based approach. PhD thesis, Hamilton Institute, National University of Ireland, NUIM, Ireland"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/108844.108856","volume-title":"Proceedings of the SIGCHI conference on Human factors in computing systems (CHI\u201991)","author":"W Gaver","year":"1991","unstructured":"Gaver W (1991) Technology affordances. Proceedings of the SIGCHI conference on Human factors in computing systems (CHI\u201991). ACM Press, New York, pp 79\u201384"},{"key":"9_CR10","unstructured":"Ghazali M (2007) Discovering physical visceral qualities for natural interaction. PhD thesis, Lancaster University, England, UK"},{"issue":"23","key":"9_CR11","first-page":"18095","volume":"10","author":"M Ghazali","year":"2015","unstructured":"Ghazali M, Dix A, Gilleade K (2015) The relationship of physicality and its underlying mapping. ARPN J Eng Appl Sci 10(23):18095\u201318103","journal-title":"ARPN J Eng Appl Sci"},{"key":"9_CR12","volume-title":"The ecological approach to visual perception","author":"J Gibson","year":"1979","unstructured":"Gibson J (1979) The ecological approach to visual perception. Houghton Mifflin Company, USA"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"T Green","year":"1996","unstructured":"Green T, Petri M (1996) Usability analysis of visual programming environments: a \u2018cognitive dimensions\u2019 framework. J Vis Languages Comput 7:131\u2013174","journal-title":"J Vis Languages Comput"},{"issue":"3","key":"9_CR14","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 (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274. doi: 10.1016\/0167-6423(87)90035-9","journal-title":"Sci Comput Program"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Massink M, Duke D, Smith S (1999) Towards hybrid interface specification for virtual environments. In: DSV-IS 1999 design, specification and verification of interactive systems, Springer, Berlin, p\u00a030\u201351","DOI":"10.1007\/978-3-7091-6815-8_4"},{"key":"9_CR16","volume-title":"The psychology of everyday things","author":"D Norman","year":"1988","unstructured":"Norman D (1988) The psychology of everyday things. Basic Books, New York 1988"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Norman D (1999) Affordance, conventions, and design. Interactions, vol 6. no. 3:38\u201343, ACM Press: NY","DOI":"10.1145\/301153.301168"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Oladimeji P, Thimbleby H, Cox A (2011) Number entry interfaces and their effects on error detection. In: IFIP conference on human-computer interaction, Springer, Heidelberg","DOI":"10.1007\/978-3-642-23768-3_15"},{"volume-title":"Seeheim workshop on user interface management systems","year":"1985","key":"9_CR19","unstructured":"Pfaff G, ten Hagen P (eds) (1985) Seeheim workshop on user interface management systems. Springer, Berlin"},{"key":"9_CR20","volume-title":"Designing the user interface: strategies for effective human-computer interaction","author":"B Shneiderman","year":"2010","unstructured":"Shneiderman B, Plaisant C (2010) Designing the user interface: strategies for effective human-computer interaction, 5th edn. Addison-Wesley, MA","edition":"5"},{"key":"9_CR21","first-page":"171","volume-title":"Exploring the specification of haptic interaction. in Interactive systems: design, specification and verification (DSVIS 2006). Lecture notes in computer science","author":"S Smith","year":"2006","unstructured":"Smith S (2006) Exploring the specification of haptic interaction. in Interactive systems: design, specification and verification (DSVIS 2006). Lecture notes in computer science, vol 4323. Springer, Berlin, pp 171\u2013184"},{"key":"9_CR22","unstructured":"Thimbleby H (2007) Using the fitts law with state transition systems to find optimal task timings. In: Proceedings of second international workshop on formal methods for interactive systems, FMIS2007. http:\/\/www.dcs.qmul.ac.uk\/research\/imc\/hum\/fmis2007\/preproceedings\/FMIS2007preproceedings.pdf"},{"key":"9_CR23","unstructured":"TREL (2016) Tilley, Our turbine. tiree renewable energy limited. 24\/4\/2016. http:\/\/www.tireerenewableenergy.co.uk\/index.php\/tilley-our-turbine\/ . Accessed 24 Mar 2016"},{"key":"9_CR24","unstructured":"Willans J, Harrison M (2000) Verifying the behaviour of virtual world objects. In: Proceedings of DSV-IS\u20192000. Springer, Berlin, pp\u00a065\u201377"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"W\u00fcthrich C (1999) An analysis and model of 3D interaction methods and devices for virtual reality. In: Proceedings of DSV-IS\u201999. Springer, Berlin, pp\u00a018\u201329","DOI":"10.1007\/978-3-7091-6815-8_3"},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Zhou W, Reisinger J, Peer A, Hirche S (2014) Interaction-based dynamic measurement of haptic characteristics of control elements. In: Auvray M, Duriez C (eds) Haptics: neuroscience, devices, modeling, and applications: 9th international conference, EuroHaptics 2014, Versailles, France, June 24\u201326, 2014, Proceedings, Part I, p\u00a0177\u2013184. Springer, Berlin. doi: 10.1007\/978-3-662-44193-0_23","DOI":"10.1007\/978-3-662-44193-0_23"}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T07:26:02Z","timestamp":1692775562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_9","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2017]]}}}