MoDeST - A Modelling and Description Language for Stochastic Timed Systems