{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T09:14:12Z","timestamp":1791018852886,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642052897","type":"print"},{"value":"9783642052903","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05290-3_50","type":"book-chapter","created":{"date-parts":[[2009,11,6]],"date-time":"2009-11-06T13:12:29Z","timestamp":1257513149000},"page":"381-390","source":"Crossref","is-referenced-by-count":3,"title":["Applying Formal Verification Techniques to Ambient Assisted Living Systems"],"prefix":"10.1007","author":[{"given":"Kawtar","family":"Benghazi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mar\u00eda","family":"Visitaci\u00f3n Hurtado","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mar\u00eda Luisa","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"Benghazi, K.: MEDISTAM\u2013RT: Metodolog\u00eda de dise\u00f1o y an\u00e1lisis de sistemas de tiempo real. PhD Thesis, University of Granada, Spain (2009)"},{"issue":"1","key":"50_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2006.08.005","volume":"65","author":"K. Benghazi","year":"2007","unstructured":"Benghazi, K., Capel, M.I., Holgado, J.A., Mendoza, L.E.: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Science of Computer Programming\u00a065(1), 41\u201356 (2007)","journal-title":"Science of Computer Programming"},{"issue":"10","key":"50_CR3","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"M.D. Fraser","year":"1994","unstructured":"Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Strategies for incorporating formal specifications in software development. Commun. ACM\u00a037(10), 74\u201386 (1994)","journal-title":"Commun. ACM"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Gray, J.W., McLean, J.: Using Temporal Logic to Specify and Verify Cryptographic Protocols. In: Proc. Eighth Comp. Sec. Found. Workshop (CSFW 1995), pp. 108\u2013117 (1995)","DOI":"10.1109\/CSFW.1995.518557"},{"key":"50_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1134285.1134293","volume-title":"ICSE 2006: Proceeding of the 28th international conference on Software engineering","author":"J. Nehmer","year":"2006","unstructured":"Nehmer, J., Becker, M., Karshmer, A., Lamm, R.: Living assistance systems: an ambient intelligence approach. In: ICSE 2006: Proceeding of the 28th international conference on Software engineering, pp. 43\u201350. ACM Press, New York (2006)"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Mantel, M., Sabelfeld, A.: A Generic Approach to the Security of Multithreaded Programs. In: Proc. 14th Comp. Sec. Found. Workshop (CSFW 2001), Cape Breton, Nova Scotia, Canada, June 2001, pp. 126\u2013142 (2001)","DOI":"10.1109\/CSFW.2001.930142"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Ras, E., Becker, M., Koch, J.: Engineering Tele-Health Solutions in the Ambient Assisted Living Lab. In: 21st International Conference on Advanced Information Networking and Applications (AINA), Niagara Falls, Canada (2007)","DOI":"10.1109\/AINAW.2007.173"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems, ObjecTime Limited\/Rational Software whitepaper (1998)","DOI":"10.1007\/BFb0057795"},{"key":"50_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-76805-0_2","volume-title":"HCI and Usability for Medicine and Health Care","author":"P. Palanque","year":"2007","unstructured":"Palanque, P., Basnyat, S., Navarre, D.: Improving Interactive Systems Usability Using Formal Description Techniques: Application to Health Care. In: Holzinger, A. (ed.) USAB 2007. LNCS, vol.\u00a04799, pp. 21\u201340. Springer, Heidelberg (2007)"},{"key":"50_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-76805-0_3","volume-title":"HCI and Usability for Medicine and Health Care","author":"D. Herzberg","year":"2007","unstructured":"Herzberg, D., Marsden, N., Leonhardt, C., K\u00fcbler, P., Jung, H., Thomanek, S., Becker, A.: Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. In: Holzinger, A. (ed.) USAB 2007. LNCS, vol.\u00a04799, pp. 41\u201354. Springer, Heidelberg (2007)"},{"key":"50_CR11","volume-title":"Concurrent and real-time systems the CSP approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and real-time systems the CSP approach. John Wiley & Sons, Ltd., Chichester (2000)"},{"key":"50_CR12","unstructured":"Zic, J.: CSP+T: a Formalism for Describing Real-Time Systems. PhD Thesis, University of Sydney, Australia (1991)"},{"key":"50_CR13","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Settimi, R., Zou, X., Solc, P.: Automated classification of non-functional requirements. Requirements Eng. (12), 103\u2013120 (2007)","DOI":"10.1007\/s00766-007-0045-1"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2009 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05290-3_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:50:29Z","timestamp":1606186229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05290-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642052897","9783642052903"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05290-3_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}