Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living | IEEE Conference Publication | IEEE Xplore