{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:01Z","timestamp":1750746481705,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"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_4","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"89-121","source":"Crossref","is-referenced-by-count":2,"title":["Case Studies"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Weyers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"4_CR1","unstructured":"Airlines Electronic Engineering Committee (2002) ARINC Specification 661\u2014Cockpit display system interfaces to user systems. Published: April 22, 2002"},{"key":"4_CR2","unstructured":"Barboni E, Conversy S, Navarre D, Palanque PA (2006) Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In: design specification and verification of interactive systems. Springer, pp 25\u201338"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bellucci A, Malizia A, Aedo I (2011) TESIS: turn every surface into an interactive surface. In: Proceedings of the ACM international conference on interactive tabletops and surfaces","DOI":"10.1145\/2076354.2076417"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bier EA, Stone MC, Pier K, Buxton W, DeRose TD (1993) Toolglass and magic lenses: the see-through interface. In: Proceedings of the 20th annual conference on computer graphics and interactive techniques. ACM, pp 73\u201380","DOI":"10.1145\/166117.166126"},{"key":"4_CR5","unstructured":"Dix A, Finlay J, Abowd G, Beale R (2004) Dialogue notations and design. Chapter 16 in Human\u2013computer interaction, 3rd edn. Prentice Hall, Englewood Cliffs. http:\/\/www.hcibook.com\/e3\/chapters\/ch16"},{"key":"4_CR6","unstructured":"Dix A (2013) Mental geography, Wonky maps and a long way ahead. GeoHCI, Work-shop on geography and HCI, CHI 2013. http:\/\/alandix.com\/academic\/papers\/GeoHCI2013\/"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Dix A, Malizia A, Turchi T, Gill S, Loudon G, Morris R, Chamberlain A, Bellucci A (2016) Rich digital collaborations in a small rural community. In: Anslow C et al (eds) Chapter 20 in Collaboration meets interactive spaces. Springer. doi: 10.1007\/978-3-319-45853-3_20","DOI":"10.1007\/978-3-319-45853-3_20"},{"key":"4_CR8","unstructured":"EASA (2014) CS-25. Certification specifications and acceptable means of compliance for large aeroplanes"},{"key":"4_CR9","unstructured":"EUROCONTROL (2010) Arrival manager implementation GUIDELINES and lessons learned, edition 0.1"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Forbrig P, Martinie C, Palanque PA, Winckler M, Fahssi R (2014) Rapid task-models development using sub-models, sub-routines and generic components. In: Proceedings of 5th international conference on human-centered software engineering. Springer, pp 144\u2013163","DOI":"10.1007\/978-3-662-44811-3_9"},{"key":"4_CR11","unstructured":"Gesellschaft f\u00fcr Anlagen- und Reaktorsicherheit (GRS) gGmbH (2016) Siedewasserreaktor (SWR) (in german). http:\/\/www.grs.de\/aktuelles\/begriff-des-monats-siedewasserreaktor-swr . Accessed 27 Sep 2016"},{"key":"4_CR12","unstructured":"IBM (1989) Common user access: advanced interface design guide. Document SC26-4582-0"},{"key":"4_CR13","unstructured":"Kirn P (2011) In sand and pixels, playing with worlds virtual and tangible; built with kinect. Create digital media. http:\/\/cdm.link\/2011\/07\/in-sand-and-pixels-playing-with-worlds-virtual-and-tangible-built-with-kinect\/ . Accessed 7 July 2011"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Martinie C, Barboni E, Navarre D, Palanque PA, Fahssi R, Poupart E, Cubero-Castan E (2014) Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. In: Proceedings of the 6th ACM SIGCHI symposium on engineering interactive systems. ACM, pp 85\u201394","DOI":"10.1145\/2607023.2607031"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque PA, Winckler M (2011) Structuring and composition mechanisms to address scalability issues in task models. In: Proceedings of INTERACT. Springer, pp 589\u2013609","DOI":"10.1007\/978-3-642-23765-2_40"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Navarre D, Palanque PA, Basnyat S (2008) A formal approach for user interaction reconfiguration of safety critical interactive systems. In: Proceedings of 27th international conference on computer safety, reliability and security. Springer, pp 373\u2013386","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"O\u2019Regan G (2014) Z formal specification language. In:\u00a0Introduction to software quality. Springer, pp 311\u2013325","DOI":"10.1007\/978-3-319-06106-1_18"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Owre S, Rushby JM, Shankar N (1992) PVS: A prototype verification system. In:\u00a0International conference on automated deduction. Springer, pp 748\u2013752","DOI":"10.1007\/3-540-55602-8_217"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Paradiso J, Abler C, Hsiao KY, Reynolds M (1997) The magic carpet: physical sensing for immersive environments. In: CHI\u201997 extended abstracts on human factors in computing systems. ACM, pp 277\u2013278","DOI":"10.1145\/1120212.1120391"},{"key":"4_CR20","unstructured":"RTCA and EUROCAE (2012) DO-178C\/ ED-12C, Software considerations in airborne systems and equipment certification"},{"key":"4_CR01","doi-asserted-by":"crossref","unstructured":"Turchi T, Malizia A, Dix A (2015) Fostering the adoption of Pervasive Displays in public spaces using tangible End-User Programming. In: Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, pp 37\u201345","DOI":"10.1109\/VLHCC.2015.7357196"},{"key":"4_CR21","unstructured":"TREL (2016) Tilley, our turbine. Tiree renewable energy limited. http:\/\/www.tireerenewableenergy.co.uk\/index.php\/tilley-our-turbine\/ . Accessed 24 Apr 2016"},{"key":"4_CR22","unstructured":"United States Nuclear Regulation Commission (2016) Boiling water reactors. http:\/\/www.nrc.gov\/reactors\/bwrs.html . Accessed 27 Sep 2016"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Vogel D, Balakrishnan R (2004) Interactive public ambient displays: transitioning from implicit to explicit, public to personal, interaction with multiple users. In:\u00a0Proceedings of the 17th annual ACM symposium on User interface software and technology. ACM, pp 137\u2013146","DOI":"10.1145\/1029632.1029656"},{"key":"4_CR24","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, Berlin, Heidelberg. Springer, Berlin, pp 177\u2013184. 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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:07:25Z","timestamp":1569074845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_4","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2017]]}}}