Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz. Enabling correct design and formal analysis of Ambient Assisted Living systems. Journal of Systems and Software, 85(3):498-510, 2012. [doi]
Abstract is missing.