Enabling correct design and formal analysis of Ambient Assisted Living systems.
Kawtar Benghazi AkhlakiMaría Visitación HurtadoMiguel J. HornosMaría Luisa RodríguezCarlos Rodríguez-DomínguezAna Belén Pelegrina OrtizMaría José Rodríguez-FórtizPublished in: J. Syst. Softw. (2012)