{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T03:02:03Z","timestamp":1773802923220,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/percomw.2011.5766965","type":"proceedings-article","created":{"date-parts":[[2011,5,13]],"date-time":"2011-05-13T14:20:20Z","timestamp":1305296420000},"page":"630-635","source":"Crossref","is-referenced-by-count":7,"title":["Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven"],"prefix":"10.1109","author":[{"given":"Thibault","family":"De Champs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Ouenzar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bessam","family":"Abdulrazak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helene","family":"Pigot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Fraikin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/030802260006300604"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3138\/cja.26.2.127"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0305-4179(95)80010-L"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1046\/j.1532-5415.2002.50530.x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1097\/JGP.0b013e318187dde5"},{"key":"ref15","first-page":"41","article-title":"Why the elderly fall in residential care facilities, and suggested remedies","volume":"53","author":"kallin","year":"2004","journal-title":"The Journal of Family Practice"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/ageing\/30.6.455"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10694-008-0045-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0004"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48166-4_25"},{"key":"ref4","author":"baier","year":"2008","journal-title":"Principles of Model Checking (Representation and Mind Series)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00036-X"},{"key":"ref6","author":"jackson","year":"2006","journal-title":"Software Abstractions"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1177\/030802269806101001","article-title":"Risk in dementia assessment and management: a literature review","volume":"61","author":"thorn","year":"1998","journal-title":"The British Journal of Occupational Therapy"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.7748\/nop2004.12.16.9.20.c2349"},{"key":"ref2","article-title":"Software Engineering: Theory and Practice","author":"pfleeger","year":"2006"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/ageing\/26.3.195"},{"key":"ref1","article-title":"Software Testing and Analysis:","author":"pezz\u00e8","year":"2008","journal-title":"Process Principles and Techniques"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"ref21","first-page":"1","article-title":"Consistency problems in UML-based software development","volume":"3297","author":"huzar","year":"2005","journal-title":"UML Modeling Languages and Applications ser Lecture Notes in Computer Science N Nunes B Selic A Rodrigues da Silva and A Toval Alvarez Eds"},{"key":"ref24","article-title":"Comparison of model checking tools for information systems","author":"frappier","year":"2010","journal-title":"12th International Conference on Formal Engineering Methods (ICFEM '10)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.229776"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553587"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"}],"event":{"name":"2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops 2011). PerCom-Workshops 2011: 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2011)","location":"Seattle, WA","start":{"date-parts":[[2011,3,21]]},"end":{"date-parts":[[2011,3,25]]}},"container-title":["2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5762524\/5766834\/05766965.pdf?arnumber=5766965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T17:10:09Z","timestamp":1523293809000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5766965\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/percomw.2011.5766965","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}