Temporalized Logics and Automata for Time Granularity