Algebras and automata for timed and stochastic systems by