Modeling a Risk Detection System for Elderly’s Home-Care with a Network of Timed Automata | Publicación