{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:34:15Z","timestamp":1725896055506},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199363"},{"type":"electronic","value":"9783642199370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19937-0_25","type":"book-chapter","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T09:24:07Z","timestamp":1301304247000},"page":"197-204","source":"Crossref","is-referenced-by-count":3,"title":["Safety Considerations in the Development of Intelligent Environments"],"prefix":"10.1007","author":[{"given":"Juan Carlos","family":"Augusto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul J.","family":"McCullagh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Handbook on Ambient Intelligence and Smart Environments","year":"2009","key":"25_CR1","unstructured":"Nakashima, H., Aghajan, H., Augusto, J.C. (eds.): Handbook on Ambient Intelligence and Smart Environments. Springer, Heidelberg (2009)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-1-84628-943-9_11","volume-title":"Intelligent Computing Everywhere","author":"J.C. Augusto","year":"2007","unstructured":"Augusto, J.C.: Ambient Intelligence: The Confluence of Pervasive Computing and Artificial Intelligence. In: Schuster, A. (ed.) Intelligent Computing Everywhere, pp. 213\u2013234. Springer, Heidelberg (2007)"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tele.2004.11.001","volume":"22","author":"M. Friedewald","year":"2005","unstructured":"Friedewald, M., Da Costa, O., Punie, Y., Alahuhta, P., Heinonen, S.: Perspectives of ambient intelligence in the home environment. Telematics and Informatics\u00a022(3), 221\u2013238 (2005)","journal-title":"Telematics and Informatics"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s10209-005-0120-7","volume":"4","author":"R. Orpwood","year":"2005","unstructured":"Orpwood, R., Gibbs, C., Adlam, T., Faulkner, R., Meegahawatte, D.: The design of smart homes for people with dementia\u2014user-interface aspects. Univ. Access Inf. Soc.\u00a04, 156\u2013164 (2005)","journal-title":"Univ. Access Inf. Soc."},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1177\/1460458209102973","volume":"15","author":"R. Gaikwad","year":"2009","unstructured":"Gaikwad, R., Warren, J.: The role of home-based information and communications technology interventions in chronic disease management: a systematic literature review. Health Informatics Journal\u00a015(2), 122\u2013146 (2009)","journal-title":"Health Informatics Journal"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/THC-2003-11304","volume":"11","author":"K. Roback","year":"2003","unstructured":"Roback, K., Herzog, A.: Home informatics in healthcare: Assessment guidelines to keep up quality of care and avoid adverse effects. Technology and Health Care\u00a011, 195\u2013206 (2003)","journal-title":"Technology and Health Care"},{"issue":"1","key":"25_CR7","first-page":"4","volume":"12","author":"J. Roberts","year":"2006","unstructured":"Roberts, J.: Pervasive Health Management and Health Management Utilizing Pervasive Technologies: Synergy and Issues. JUCS\u00a012(1), 4\u201315 (2006)","journal-title":"JUCS"},{"key":"25_CR8","volume-title":"The Spin Model Checker - Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley Publ., Reading (2003)"},{"key":"25_CR9","unstructured":"Cook R. I.: Cognitive technologies Laboratory, University of Chicago. How Complex Systems Fail, www.ctlab.org\/documents\/How20Complex20Systems20Fail.pdf"},{"key":"25_CR10","volume-title":"Software Engineering","author":"I. Somerville","year":"2007","unstructured":"Somerville, I.: Software Engineering, 8th edn. Addison-Wesley, Reading (2007)","edition":"8"},{"key":"25_CR11","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P., McKenzie, P.: Systems and Software Verification (Model-Checking Techniques and Tools). Springer, Heidelberg"},{"key":"25_CR12","unstructured":"Abdallah, A.E., Bowen, J.P., Nissanke, N.: In Dependable Computing Systems: Paradigms, Performance Issues, and Applications, Part I: Models and Paradigms. In: Diab, H., Zomaya, A. (eds.). Series on Parallel and Distributed Computing. J. Wiley & Sons, Chichester (2005)"},{"issue":"1","key":"25_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2298\/CSIS0701001A","volume":"4","author":"J.C.. Augusto","year":"2007","unstructured":"Augusto, J.C., McCullagh, P.: Ambient Intelligence: Concepts and Applications. Int. Journal on Computer Science and Information Systems\u00a04(1), 1\u201328 (2007)","journal-title":"Int. Journal on Computer Science and Information Systems"},{"key":"25_CR14","unstructured":"Augusto, J.C.: Increasing Reliability in the Development of Intelligent Environments. In: Proc.of 5th Int. Conf. on Intelligent Environments (IE 2009), Barcelona, pp. 134\u2013141 (2009)"},{"key":"25_CR15","unstructured":"Augusto, J.C., Bohlen, M., Cook, D., Flentge, F., Marreiros, G., Ramos, C., Qin, W., Suo, Y.: The Darmstadt Challenge (the Turing Test Revisited). In: Proceedings of the Int. Confer-ence on Agents and Artificial Intelligence (ICAART), Porto, Portugal (2009)"},{"issue":"4","key":"25_CR16","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/THC-2009-0553","volume":"17","author":"W. Carswell","year":"2009","unstructured":"Carswell, W., McCullagh, P.J., Augusto, J.C., Martin, S., Mulvenna, M.D., Zheng, H., Wang, H.Y., Wallace, J.G., McSorley, K., Taylor, B., Jeffers, W.P.: A Review of the Role of Assistive Technology for People with Dementia in the Hours of Darkness. Technology and Health Care\u00a017(4), 281\u2013304 (2009)","journal-title":"Technology and Health Care"}],"container-title":["Advances in Intelligent and Soft Computing","Ambient Intelligence - Software and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19937-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:24Z","timestamp":1606186464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19937-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199363","9783642199370"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19937-0_25","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2011]]}}}