A Maximal Entropy Stochastic Process for a Timed Automaton - Basset, N (2014)