Counting and generating permutations using timed languages - Basset, N (Springer, 2014)