Thin and Thick Timed Regular Languages - Basset, N; Asarin, E (Springer, 2011)