Compact and Tractable Automaton−based Representations for Time Granularities - Lago, U; Montanari, A; Puppis, G (2007)