{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T03:30:04Z","timestamp":1773977404708,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031879074","type":"print"},{"value":"9783031879081","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-87908-1_4","type":"book-chapter","created":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T08:50:57Z","timestamp":1744966257000},"page":"52-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Properties of\u00a0Activities of\u00a0Daily Living"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Contreras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Smola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiawei","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques D.","family":"Fleuriot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,19]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-36577-X_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Benedetti","year":"2003","unstructured":"Benedetti, M., Cimatti, A.: Bounded model checking for past LTL. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 18\u201333. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_3"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Biere, A.: Bounded model checking. In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol.\u00a0336, pp. 739\u2013764. IOS Press (2021). https:\/\/doi.org\/10.3233\/FAIA201002","DOI":"10.3233\/FAIA201002"},{"key":"4_CR3","doi-asserted-by":"publisher","DOI":"10.1108\/JICA-09-2019-0040","author":"A Cameron","year":"2020","unstructured":"Cameron, A., Johnson, E., Evans, S.: Older people\u2019s perspectives on living in integrated housing and care settings: the case of extra care housing. J. Integr. Care (2020). https:\/\/doi.org\/10.1108\/JICA-09-2019-0040","journal-title":"J. Integr. Care"},{"issue":"7","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1623","DOI":"10.1038\/s41591-023-02391-8","volume":"29","author":"C Chen","year":"2023","unstructured":"Chen, C., Ding, S., Wang, J.: Digital health for aging populations. Nat. Med. 29(7), 1623\u20131630 (2023). https:\/\/doi.org\/10.1038\/s41591-023-02391-8","journal-title":"Nat. Med."},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TKDE.2011.51","volume":"24","author":"L Chen","year":"2012","unstructured":"Chen, L., Nugent, C.D., Wang, H.: A knowledge-driven approach to activity recognition in smart homes. IEEE Trans. Knowl. Data Eng. 24(6), 961\u2013974 (2012). https:\/\/doi.org\/10.1109\/TKDE.2011.51","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"4_CR7","series-title":"The Cyber-Physical Systems Series","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D., Peled, D.A.: Model Checking. The Cyber-Physical Systems Series, MIT Press, Cambridge (1999)"},{"key":"4_CR8","unstructured":"for Digital Media\u00a0Literacy, C.C.: Managing television in the home (2016). https:\/\/mediasmarts.ca\/tipsheet\/managing-television-home. Accessed 06 Apr 2024"},{"key":"4_CR9","unstructured":"FireAngel: Fire safety in the kitchen (2021). https:\/\/www.fireangel.co.uk\/wp-content\/uploads\/2017\/07\/Fire-safety-in-the-kitchen-2024.pdf. Accessed 06 Apr 2024"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Garcia-Constantino, M., Konios, A., Mustafa, M.A., Nugent, C., Morrison, G.: Ambient and wearable sensor fusion for abnormal behaviour detection in activities of daily living. In: IEEE International Conference on Pervasive Computing and Communications Workshops, pp.\u00a01\u20136 (2020). https:\/\/doi.org\/10.1109\/PerComWorkshops48775.2020.9156249","DOI":"10.1109\/PerComWorkshops48775.2020.9156249"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Garcia-Constantino, M., Konios, A., Nugent, C.: Modelling activities of daily living with petri nets. In: IEEE International Conference on Pervasive Computing and Communications Workshops, pp. 866\u2013871 (2018). https:\/\/doi.org\/10.1109\/PERCOMW.2018.8480225","DOI":"10.1109\/PERCOMW.2018.8480225"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Konios, A., Jing, Y., Eastwood, M., Tan, B.: Unifying and analysing activities of daily living in extra care homes. In: IEEE 16th International Conference on Dependable, Autonomic and Secure Computing (DASC), pp. 474\u2013479 (2018)","DOI":"10.1109\/DASC\/PiCom\/DataCom\/CyberSciTec.2018.00094"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Magherini, T., Fantechi, A., Nugent, C., Vicario, E.: Using temporal logic and model checking in automated recognition of human activities for ambient-assisted living. IEEE Trans. Hum.-Mach. Syst. 43, 509\u2013521 (2013). https:\/\/doi.org\/10.1109\/TSMC.2013.2283661","DOI":"10.1109\/TSMC.2013.2283661"},{"key":"4_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specifications","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specifications. Springer, New York (1992)"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Mlinac, M.E., Feng, M.C.: Assessment of activities of daily living, self-care, and independence. Arch. Clin. Neuropsychol. 31(6), 506\u2013516 (2016). https:\/\/doi.org\/10.1093\/arclin\/acw049","DOI":"10.1093\/arclin\/acw049"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Munguia\u00a0Tapia, E.: Activity recognition in the home setting using simple and ubiquitous sensors. Master\u2019s thesis, Massachusetts Institute of Technology (2003)","DOI":"10.1007\/978-3-540-24646-6_10"},{"key":"4_CR18","first-page":"62","volume":"2","author":"AA Razon","year":"2017","unstructured":"Razon, A.A., Ahmad, I.: A study on fire safety and security at kitchen in apartment buildings. Int. J. Latest Eng. Manag. Res. 2, 62\u201371 (2017)","journal-title":"Int. J. Latest Eng. Manag. Res."},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1111\/padr.12149","volume":"44","author":"D Reher","year":"2018","unstructured":"Reher, D., Requena, M.: Living alone in later life: a global perspective. Popul. Dev. Rev. 44(3), 427\u2013454 (2018)","journal-title":"Popul. Dev. Rev."},{"key":"4_CR20","unstructured":"Schiltz, R.: How to help an elderly person to shower or bathe: 7 tips (2023). https:\/\/seniorsafetyadvice.com\/how-to-assist-the-elderly-in-the-shower. Accessed 06 Apr 2024"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Sharma, N., Brinke, J.K., Gemert-Pijnen, J.E.W.C.V., Braakman-Jansen, L.M.A.: Implementation of unobtrusive sensing systems for older adult care: scoping review. JMIR Aging 4(4) (2021). https:\/\/doi.org\/10.2196\/27862","DOI":"10.2196\/27862"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24646-6_10","volume-title":"Pervasive Computing","author":"EM Tapia","year":"2004","unstructured":"Tapia, E.M., Intille, S.S., Larson, K.: Activity recognition in the home using simple and ubiquitous sensors. In: Ferscha, A., Mattern, F. (eds.) Pervasive 2004. LNCS, vol. 3001, pp. 158\u2013175. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24646-6_10"}],"container-title":["Lecture Notes in Computer Science","From Data to Models and Back"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87908-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T08:51:01Z","timestamp":1744966261000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87908-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031879074","9783031879081"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87908-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"19 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DataMod","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium: From Data to Models and Back","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"datamod2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/datamod2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}