Modeling a Risk Detection System for Elderly's Home-Care with a Network of Timed Automata. - Isabel Navarrete; José A. Rubio; Juan A. Botía; José T. Palma; Francisco Campuzano (IWAAL, 2012)