nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed