Using Timed Automata Framework for Modeling Home Care Plans | IEEE Conference Publication | IEEE Xplore