{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T17:53:58Z","timestamp":1718301238530},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,29]],"date-time":"2013-03-29T00:00:00Z","timestamp":1364515200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s11334-013-0203-1","type":"journal-article","created":{"date-parts":[[2013,3,28]],"date-time":"2013-03-28T08:13:22Z","timestamp":1364458402000},"page":"131-142","source":"Crossref","is-referenced-by-count":2,"title":["Is my configuration any good: checking usability in an interactive sensor-based activity monitor"],"prefix":"10.1007","volume":"11","author":[{"given":"Muffy","family":"Calder","sequence":"first","affiliation":[]},{"given":"Phil","family":"Gray","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Unsworth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,29]]},"reference":[{"issue":"2","key":"203_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.pmcj.2009.06.002","volume":"6","author":"C Bettini","year":"2010","unstructured":"Bettini C, Brdiczka O, Henricksen K, Indulska J, Nicklas D, Ranganathan A, Riboni D (2010) A survey of context modelling and reasoning techniques. Pervasive Mobile Comput 6(2):161\u2013180","journal-title":"Pervasive Mobile Comput"},{"key":"203_CR2","doi-asserted-by":"crossref","unstructured":"Coronato A, DePietro G (2009) Formal specification of a safety critical pervasive application for a nuclear medicine department. IEEE International Conference on Advanced Information Networking and Applications Workshops. pp 1043\u20131048","DOI":"10.1109\/WAINA.2009.198"},{"key":"203_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2007.01.058","volume":"183","author":"A Cerone","year":"2007","unstructured":"Cerone A, Elbegbayan N (2007) Model-checking driven design of interactive systems. Electron Notes Theor Comput Sci 183:3\u201320","journal-title":"Electron Notes Theor Comput Sci"},{"key":"203_CR4","unstructured":"Calder M, Gray P, Unsworth C (2009) Tightly coupled verification of pervasive systems. Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Electronic Communications of the EASST"},{"key":"203_CR5","doi-asserted-by":"crossref","unstructured":"Campos JC, Harrison MD (1997) Formally verifying interactive systems: a review. In Design, Specification and Verification of Interactive Systems 97, Springer, pp 109\u2013124","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"203_CR6","doi-asserted-by":"crossref","unstructured":"Campos JC, Harrison MD (2008) Systematic analysis of control panel interfaces using formal tools. In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), volume 5136 of Lecture Notes in Computer Science, Springer, Berlin pp 72\u201385","DOI":"10.1007\/978-3-540-70569-7_6"},{"key":"203_CR7","doi-asserted-by":"crossref","unstructured":"Curzon P, R\u016dk\u0117nas R, Blandford A (2007) An approach to formal verification of human-computer interaction. Formal Aspects of Computing pp 513\u2013550","DOI":"10.1007\/s00165-007-0035-6"},{"key":"203_CR8","unstructured":"E\u00e9n N, S\u00f6rensson N (2003) An extensible SAT-solver. In: Enrico Giunchiglia, Armando Tacchella (eds) SAT. Springer, vol 2919, pp 502\u2013518"},{"key":"203_CR9","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.pmcj.2005.07.003","volume":"2","author":"Henricksen Karen","year":"2006","unstructured":"Karen Henricksen, Jadwiga Indulska (2006) Developing context-aware pervasive computing applications: models and approach. Pervasive Mobile Comput 2:37\u201364","journal-title":"Pervasive Mobile Comput"},{"key":"203_CR10","unstructured":"Holzmann GJ (2003) The SPIN model checker: primer and reference manual. Addison Wesley, Boston"},{"key":"203_CR11","unstructured":"Jake project. http:\/\/code.google.com\/p\/jake-drivers\/"},{"issue":"4","key":"203_CR12","first-page":"20","volume":"29","author":"B Jones Cliff","year":"1996","unstructured":"Jones Cliff B, Daniel Jackson, Jeannette Wing (1996) Formal methods light. Computer 29(4):20\u201322","journal-title":"Computer"},{"key":"203_CR13","doi-asserted-by":"crossref","unstructured":"Kristoffersen S (2009) A preliminary experiment checking usability principles with formal methods. IEEE Second International Conference on Advances in Computer-Human Interactions, pp 261\u2013270. doi: 10.1109\/ACHI.2009.26","DOI":"10.1109\/ACHI.2009.26"},{"key":"203_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-477-5","volume-title":"Awareness systems: advances in theory. Methology and design","author":"P Markopoulos","year":"2009","unstructured":"Markopoulos P, deRuyter B, Mackay WE (2009) Awareness systems: advances in theory. Methology and design. Springer, Berlin"},{"key":"203_CR15","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/978-3-642-02481-8_113","volume":"5518","author":"T McBryan","year":"2009","unstructured":"McBryan T, Gray P (2009) User configuration of activity awareness. Lecture Notes Computer Sci 5518:748\u2013751","journal-title":"Lecture Notes Computer Sci"},{"key":"203_CR16","doi-asserted-by":"crossref","unstructured":"R\u016dk\u0117nas R, Back J, Curzon P, Blandford A (2008) Formal modelling of salience and cognitive load. ENTCS 57\u201375","DOI":"10.1016\/j.entcs.2008.03.107"},{"key":"203_CR17","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/978-3-540-74800-7_36","volume":"4663","author":"Y Riche","year":"2007","unstructured":"Riche Y, Mackay WE (2007) Markerclock: A communicating augmented clock for the elderly. Proc. Interact 07. Part II. Lecture Notes Comput Sci 4663:408\u2013411","journal-title":"Lecture Notes Comput Sci"},{"key":"203_CR18","unstructured":"Shake users group. http:\/\/www.dcs.gla.ac.uk\/research\/shake\/"},{"key":"203_CR19","unstructured":"Kenneth J. Turner, Gavin A. Campbell, Feng Wang (2007) Policies for sensor networks and home care networks. In: Mohammed Erradi (ed) Proc. 7th. Int. Conf. on New Technologies for Distributed Systems pp 273\u2013284"},{"key":"203_CR20","unstructured":"Turner KJ (2012) Results of The MATCH Project. Advances in Home Care Technologies. IOS Press"},{"key":"203_CR21","first-page":"121","volume":"4663","author":"J Williamson","year":"2007","unstructured":"Williamson J, Murray-Smith R, Hughes S (2007) Shoogle: excitatory multimodal interaction on mobile devices. Proc. SIGCHI Conference on Human Factors in. Comput Syst 4663:121\u2013124","journal-title":"Comput Syst"},{"key":"203_CR22","unstructured":"Wang F, Turner K (2008) Policy conflicts in home care systems. Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems pp 54\u201365"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0203-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-013-0203-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0203-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:49:36Z","timestamp":1559396976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-013-0203-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,29]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["203"],"URL":"https:\/\/doi.org\/10.1007\/s11334-013-0203-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,29]]}}}