Pedro R. D'Argenio Holger Hermanns Joost-Pieter Katoen Ric Klaren MoDeST - A Modelling and Description Language for Stochastic Timed Systems. 87-104 2001 conf/papm/2001 PAPM-PROBMIV http://link.springer.de/link/service/series/0558/bibs/2165/21650087.htm db/conf/papm/papm2001.html#DArgenioHKK01