@Article{ BENGHAZI_HURTADO_HORNOS_REAL_SOLA_PELEGRINA_RODRIGUEZ:1-20,

author = { KAWTAR BENGHAZI AKHLAKI and MARIA VISITACION HURTADO TORRES and MIGUEL JUAN HORNOS BARRANCO and SANTIAGO REAL MARTINEZ and PEDRO JUAN SOLA CAMPOY and ANA BELÉN PELEGRINA ORTIZ and MARIA JOSE RODRIGUEZ FORTIZ } ,

title = { ENABLING CORRECT DESIGN AND FORMAL ANALYSIS OF AMBIENT ASSISTED LIVING SYSTEMS },

journal = { JOURNAL OF SYSTEMS AND SOFTWARE },

year = { 2010 },

issn = { 0164-1212 },

pages = { 1-20 },

}