@Article{ Benghazi-Akhlaki_HURTADO_HORNOS_RODRIGUEZ_RODRÍGUEZ_Pelegrina-Ortiz_RODRIGUEZ:498-510,

author = { Kawtar Benghazi-Akhlaki and MARIA VISITACION HURTADO TORRES and MIGUEL JUAN HORNOS BARRANCO and MARIA LUISA RODRIGUEZ ALMENDROS and CARLOS RODRÍGUEZ DOMÍNGUEZ and Ana Belén Pelegrina-Ortiz and MARIA JOSE RODRIGUEZ FORTIZ } ,

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

journal = { The Journal of Systems and Software },

year = { 2012 },

volume = { 85 },

pages = { 498-510 },

doi = { http://www.sciencedirect.com/science/article/pii/S0164121211001221 },

}